Security-evaluated operating system: Difference between revisions

Content deleted Content added
Link to OpenVMS
Line 43:
 
== HP OpenVMS and SEVMS ==
The SEVMS <ref>http://h71000.www7.hp.com/openvms/products/sevms/</ref> enhancement to [[OpenVMS|VMS]] is 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) later [[Compaq]], {{as of | 2008 | alt = now}} [[Hewlett-Packard]] (HP).<ref>http://citeseer.ist.psu.edu/428108.html</ref>
 
== Green Hills INTEGRITY-178B ==