# Trusted operating system > Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Trusted_operating_system > Markdown URL: https://mediated.wiki/source/Trusted_operating_system.md > Source: https://en.wikipedia.org/wiki/Trusted_operating_system > Source revision: 1275647125 > License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/) Operating system with support for multilevel security **Trusted Operating System** (**TOS**) generally refers to an [operating system](/source/Operating_system) that provides sufficient support for [multilevel security](/source/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](/source/Common_Criteria) combined with the [Security Functional Requirements](https://en.wikipedia.org/w/index.php?title=Security_Functional_Requirements&action=edit&redlink=1) (SFRs) for Labeled Security Protection Profile (LSPP) and [mandatory access control](/source/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: - Apple Mac OS X 10.6 (Rated EAL 3+[2]) - [HP-UX 11i v3](/source/HP-UX) (Rated EAL 4+) - Some [Linux](/source/Linux) distributions (Rated up to EAL 4+) - Microsoft Windows 7 and Microsoft Server 2008 R2 (Rated EAL 4+[3]) - AIX 5L with PitBull Foundation (Rated EAL 4+[4]) - [Trusted Solaris](/source/Trusted_Solaris) - Trusted UNICOS 8.0 (Rated B1[5]) - [XTS-400](/source/XTS-400) (Rated EAL5+[6]) - [IBM VM (SP, BSE, HPO, XA, ESA, etc.)](/source/VM_(operating_system)) with [RACF](/source/Resource_Access_Control_Facility) Examples of operating systems that might be certifiable are: - [FreeBSD](/source/FreeBSD) with the TrustedBSD extensions[7] - [SELinux](/source/SELinux) (see [FAQ](http://www.nsa.gov/research/selinux/faqs.shtml#I12)) Companies that have created trusted operating systems include: - [Addamax](/source/Addamax) (BSD, SVR3, SVR4, HP/UX) - [Argus Systems Group](https://en.wikipedia.org/w/index.php?title=Argus_Systems_Group&action=edit&redlink=1) (Solaris, AIX, Linux) - [AT&T](/source/AT%26T_Corporation) (System V) - [BAE Systems](/source/BAE_Systems) (XTS Unix) - [Bull](/source/Groupe_Bull) (AIX) - [Data General](/source/Data_General) (DG/UX) - [Digital Equipment Corporation](/source/Digital_Equipment_Corporation) (Ultrix) - [Forcepoint](/source/Forcepoint) (Hardened SELinux) - [Gemini Computers](https://en.wikipedia.org/w/index.php?title=Gemini_Computers&action=edit&redlink=1) (GEMSOS) - [General Dynamics C4 Systems](/source/General_Dynamics_C4_Systems) (Linux) - [Harris Corporation](/source/Harris_Corporation) (SVR3, SVR4) - [Hewlett-Packard](/source/Hewlett-Packard) (HP/UX) - [Honeywell](/source/Honeywell) (Multics) - [IBM](/source/IBM) (OS/390, AIX) - [SCO](/source/SCO_Group) (SCO Unix) - [Secure Computing Corporation](/source/Secure_Computing_Corporation) (LOCK, Mach, BSD) - [SecureWare](/source/SecureWare) (Apple A/UX, HP/UX, SCO) - [Sequent Computer Systems](/source/Sequent_Computer_Systems) (Dynix/ptx) - [Silicon Graphics](/source/Silicon_Graphics) (IRIX) - [Sun Microsystems](/source/Sun_Microsystems) (SunOS, Solaris) - [Trusted Information Systems](/source/Trusted_Information_Systems) (Xenix, Mach) ## See also - [Common Criteria](/source/Common_Criteria) - [Comparison of operating systems](/source/Comparison_of_operating_systems) - [Security-evaluated operating system](/source/Security-evaluated_operating_system) - [Security-focused operating system](/source/Security-focused_operating_system) ## References 1. **[^](#cite_ref-1)** List of member of the Common Criteria Recognition Arrangement: [http://www.commoncriteriaportal.org/ccra/members/](http://www.commoncriteriaportal.org/ccra/members/) 1. **[^](#cite_ref-2)** Common Criteria certification report [http://www.commoncriteriaportal.org/files/epfiles/0536a_pdf.pdf](http://www.commoncriteriaportal.org/files/epfiles/0536a_pdf.pdf) 1. **[^](#cite_ref-3)** Common Criteria certification report [http://www.commoncriteriaportal.org/files/epfiles/st_vid10390-vr.pdf](http://www.commoncriteriaportal.org/files/epfiles/st_vid10390-vr.pdf) 1. **[^](#cite_ref-4)** List of AIX certifications on [\[1\]](https://web.archive.org/web/20081204033521/http://www-03.ibm.com/systems/power/software/aix/certifications/index.html) 1. **[^](#cite_ref-5)** ["Australian Signals Directorate"](http://www.dsd.gov.au/infosec/epl/index_details.php?product_id=MjE0IyMjMjEzLjIxMy4yNDYuMjE3). 1. **[^](#cite_ref-6)** Common Criteria Certification report [http://www.commoncriteriaportal.org/files/epfiles/st_vid10293-vr.pdf](http://www.commoncriteriaportal.org/files/epfiles/st_vid10293-vr.pdf) 1. **[^](#cite_ref-7)** FreeBSD statement about support of Common Criteria requirements : ["Support"](https://web.archive.org/web/20120331193226/http://www.freebsd.org/doc/en/articles/linux-comparison/freebsd-support.html). Archived from [the original](http://www.freebsd.org/doc/en/articles/linux-comparison/freebsd-support.html) on 2012-03-31. Retrieved 2011-11-19. ## External links - [Common Criteria Portal - certified products](http://www.commoncriteriaportal.org/products/) - [NSA FAQ on SELinux](http://www.nsa.gov/research/selinux/faqs.shtml) - [Argus Systems](http://www.argus-systems.com/) --- Adapted from the Wikipedia article [Trusted operating system](https://en.wikipedia.org/wiki/Trusted_operating_system) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Trusted_operating_system?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.