GEMSOS MLS Product Concepts

• Verifiably Secure PLC - OpenPLC on GEMSOS
• MLS Trusted Workstation
• GemSeal™ Guard
• Management & Control Guard
• SCADA Guard
• File Services
• GEMSOS MLS RTOS

Recent Publications

• Cyber defense triad for where security matters

  Roger R. Schell
  Communications of the ACM, 2016
• Using Proven Reference Monitor Patterns for Security Evaluation
  Mark R. Heckman, Roger R. Schell
  Information 2016, 7(2),23; doi:10.3390/info7020023
  Special Issue: "Evaluating the Security of Complex Systems"
  Published 26 April 2016
• A Multi-Level Secure File Sharing Server and its Application to a Multi-Level Secure Cloud
  Mark R. Heckman, Roger R. Schell, Edwards E. Reed
  In Proc. MILCOM 2015, October 26-28, 2015, Tampa, Fl.

• Towards Formal Evaluation of a High-Assurance Guard
  Mark R. Heckman, Roger R. Schell, Edwards E. Reed
  In Proc. 6^th Layered Assurance Workshop (LAW) 2012
  December 3-4, 2012, Orlando, FL., pp. 25-31. (Entire proceedings available)
• A High-Assurance Virtual Guard Architecture
  Mark R. Heckman, Roger R. Schell, Edwards E. Reed
  In Proc. MILCOM 2012, October 29-November 1, 2012, Orlando, Fl.

• Using a high assurance TCB for infrastructure security

  Mark Heckman, Roger Schell, Edwards Reed
  CSIIRW '11 Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research, 2011
• Composing a High-Assurance Infrastructure Out of TCB Components
  Mark R. Heckman, Roger R. Schell, Edwards E. Reed
  Presented at the Layered Assurance Workshop (LAW) 2011.
  December 2011, Orlando, FL.

Classic Publications