Trusted operating system
Trusted Operating System 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 for Labeled Security Protection Profile and mandatory access control. 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 to develop a harmonized security criteria for IT products.
Examples
Examples of certified trusted operating systems are:- Apple Mac OS X 10.6
- HP-UX 11i v3
- Some Linux distributions
- Microsoft Windows 7 and Microsoft Server 2008 R2
- AIX 5L with PitBull Foundation
- Trusted Solaris
- Trusted UNICOS 8.0
- XTS-400
- IBM VM with RACF
Companies that have created trusted operating systems include:
- Addamax
- Argus Systems Group
- AT&T
- BAE Systems
- Bull
- Data General
- Digital Equipment Corporation
- Forcepoint
- Gemini Computers
- General Dynamics C4 Systems
- Harris Corporation
- Hewlett-Packard
- Honeywell
- IBM
- SCO
- Secure Computing Corporation
- SecureWare
- Sequent Computer Systems
- Silicon Graphics
- Sun Microsystems
- Trusted Information Systems