Security-evaluated operating system: Difference between revisions

Content deleted Content added
WikiCleanerBot (talk | contribs)
m v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation)
m v2.04 - Repaired 1 link to disambiguation page - (You can help) - 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]], later [[Hewlett-Packard]] (HP),<ref>http://citeseer.ist.psu.edu/428108.html</ref> {{as of | 2014 | alt = now}} [[VSI]] (VMS Software Inc.]] (VSI).
 
== Green Hills INTEGRITY-178B ==