Security-evaluated operating system: Difference between revisions

Revision as of 08:17, 30 June 2021

Revision as of 19:29, 10 August 2021

Line 40:

Gemini Multiprocessing Secure Operating System [http://www.aesec.com/] is a [[Trusted Computer System Evaluation Criteria|TCSEC]] A1 system that runs on [[IA-32|x86]] processor type [[Commercial off-the-shelf|COTS]] hardware.

== HP OpenVMS and SEVMS ==

The SEVMS <ref>{{cite web|url= http://h71000.www7.hp.com/openvms/products/sevms/|title=Security Enhanced VMS (SEVMS) |archive-url= https://web.archive.org/web/20151119105617/http://h71000.www7.hp.com/openvms/products/sevms/|archive-date=2015-11-19|website=Hewlett Packard}}</ref> enhancement to [[OpenVMS|VMS]] iswas a CC B1/B3<ref>[http://www.decus.de/slides/sy2000/Vortraege_2803/1M01.PDF OpenVMS security presentation]</ref> system formerly of [[Digital Equipment Corporation]] (DEC). laterA [[Compaq]],standard laterOpenVMS [[Hewlett-Packard]]installation (HP),<ref>http://citeseer.ist.psu.edu/428108.html</ref>is rated {{as ofCC |C2. 2014<ref>National |Computer altSecurity =Center now}}(NCSC) [[VMSTrusted SoftwareProduct Inc.]]Evaluation List (VSITPEL).</ref>

== Green Hills INTEGRITY-178B ==