Trusted operating system

Trusted Operating System (TOS) generally refers to an operating system that provides sufficient support for multilevel security and evidence of correctness to meet a particular set of government requirements.

The most common set of criteria for trusted operating system design is the Common Criteria combined with the Security Functional Requirements (SFRs) for Labeled Security Protection Profile (LSPP) and mandatory access control (MAC). The Common Criteria is the result of a multi-year effort by the governments of the U.S., Canada, United Kingdom, France, Germany, the Netherlands and other countries[1] to develop a harmonized security criteria for IT products.

Examples

Examples of certified trusted operating systems are:

Examples of operating systems that might be certifiable are:

Companies that have created trusted operating systems include:

gollark: I imagine go will be somewhat faster.
gollark: I don't care that much about performance, but haskell is hardly *fast*.
gollark: Ah, go and its wonders.
gollark: Well, in that case, it compiles to machine code and is slow!
gollark: What *does* it compile to?

See also

References
  1. List of member of the Common Criteria Recognition Arrangement: http://www.commoncriteriaportal.org/ccra/members/
  2. Common Criteria certification report http://www.commoncriteriaportal.org/files/epfiles/0536a_pdf.pdf
  3. Common Criteria certification report http://www.commoncriteriaportal.org/files/epfiles/st_vid10390-vr.pdf
  4. List of AIX certifications on http://www-03.ibm.com/systems/power/software/aix/certifications/index.html
  5. "Australian Signals Directorate".
  6. Common Criteria Certification report http://www.commoncriteriaportal.org/files/epfiles/st_vid10293-vr.pdf
  7. FreeBSD statement about support of Common Criteria requirements : "Archived copy". Archived from the original on 2012-03-31. Retrieved 2011-11-19.CS1 maint: archived copy as title (link)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.