Security-evaluated operating system: Difference between revisions

Content deleted Content added
Line 37:
== GEMSOS ==
 
Gemini Multiprocessing Secure Operating System[http://www.aesec.com/] is a [[Common Criteria|CC]] A1 ([[Evaluation Assurance Level|EAL]]7]) system that runs on IA [[x86]] processor type [[COTS]] hardware.
 
== See also ==