Security-evaluated operating system: Difference between revisions

Revision as of 11:39, 16 June 2006

Revision as of 11:41, 16 June 2006

Line 39:

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 [[Commercial_off-the-shelf|COTS]] hardware.

== HP/Compaq/Digital OpenVMS and SEVMS ==

Formerly of DEC ([[Digital Equipment Corperation]]) and later Compaq. [http://citeseer.ist.psu.edu/428108.html]

== See also ==