Security-evaluated operating system: Difference between revisions

Content deleted Content added
Reverting edit(s) by 47.138.191.16 (talk) to rev. 840484932 by InternetArchiveBot: Vandalism (RW 16)
HP OpenVMS and SEVMS: Updated (VSI)
Line 41:
 
== 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}}later [[Hewlett-Packard]] (HP).<ref>http://citeseer.ist.psu.edu/428108.html</ref>, {{as of | 2014 | alt = now}} [[VSI]] (VMS Software Inc.).
 
== Green Hills INTEGRITY-178B ==