Eine Verwendung des Begriffs Computer-Sicherheit bezieht sich auf Technologie, die zur Umsetzung von sicheren Betriebssysteme verwendet wird. In den 1980 er Jahren hat das Verteidigungsministerium der Vereinigten Staaten die Orange Book Standards verwendet, aber die aktuelle internationale Norm ISO / IEC 15408, Gemeinsame Kriterien definiert eine Reihe von schrittweise strengeren Bewertung. Viele gemeinsame Betriebssysteme erfüllen den Standard-Standard-Standard, der Methodisch entworfen, getestet und überprüft wird, aber die formale Überprüfung, die für die höchsten Niveaus erforderlich ist, bedeutet, dass sie ungewöhnlich sind Ein Beispiel für ein EAL6 (Semiformally Verifizierte Design und getestet) System ist Integrität-178 B, das im Airbus A 380 und mehreren Militär verwendet wird.
Was ist ein Beispiel für ein System, das sich auf EAL6? trifft
Integrität-178 B