|
For more information please send your detailed contact information to: info@aesec.com
|
|
The following links having the ACM diamond icon will redirect your browser to the Association for Computing Machinery digital library to retrieve an authorized personal use copy of the linked paper.
Links without the ACM icon are links to documents for direct download.
GEMSOS MLS Product Concepts
Recent Publications
-
- Using Proven Reference Monitor Patterns for Security Evaluation
- 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. 6th 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.
-
- 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
© Aesec Corporation 2003-2017 |
|
|