Système d'exploitation fiable

Trusted Operating System ( TOS ) fait généralement référence à un système d'exploitation qui fournit un support suffisant pour la sécurité à plusieurs niveaux et une preuve d'exactitude pour répondre à un ensemble particulier d'exigences gouvernementales.

L'ensemble de critères le plus courant pour la conception de systèmes d'exploitation fiables est constitué des critères communs combinés aux exigences fonctionnelles de sécurité (SFR) pour le profil de protection de sécurité étiqueté (LSPP) et le contrôle d'accès obligatoire (MAC). Les critères communs sont le résultat d'un effort pluriannuel des gouvernements des États-Unis, du Canada, du Royaume-Uni, de la France, de l'Allemagne, des Pays-Bas et d'autres pays pour développer des critères de sécurité harmonisés pour les produits informatiques.

Voici des exemples de systèmes d’exploitation certifiés et fiables :

• Apple Mac OS X 10.6 (classé EAL 3+ )
• HP-UX 11i v3 (classé EAL 4+)
• Certaines distributions Linux (classées jusqu'à EAL 4+)
• Microsoft Windows 7 et Microsoft Server 2008 R2 (classé EAL 4+ )
• AIX 5L avec PitBull Foundation (classé EAL 4+ )
• Solaris de confiance
• UNICOS 8.0 de confiance (noté B1 )
• XTS-400 (classé EAL5+ )
• Machine virtuelle IBM (SP, BSE, HPO, XA, ESA, etc.) avec RACF

Voici des exemples de systèmes d’exploitation qui pourraient être certifiables :

• FreeBSD avec les extensions TrustedBSD
• SELinux (voir FAQ)

Parmi les entreprises qui ont créé des systèmes d’exploitation fiables, on trouve :

• Addamax (BSD, SVR3, SVR4, HP/UX)
• Groupe Argus Systems (Solaris, AIX, Linux)
• AT&T (Système V)
• Systèmes BAE (XTS Unix)
• Taureau (AIX)
• Données générales (DG/UX)
• Équipement numérique Corporation (Ultrix)
• Forcepoint (SELinux renforcé)
• Ordinateurs Gemini (GEMSOS)
• Systèmes General Dynamics C4 (Linux)
• Société Harris (SVR3, SVR4)
• Hewlett-Packard (HP/UX)
• Honeywell (Multics)
• IBM (OS/390, AIX)
• SCO (SCO Unix)
• Société informatique sécurisée (LOCK, Mach, BSD)
• SecureWare (Apple A/UX, HP/UX, SCO)
• Systèmes informatiques séquentiels (Dynix/ptx)
• Graphiques en silicium (IRIX)
• Sun Microsystems (SunOS, Solaris)
• Systèmes d'information de confiance (Xenix, Mach)