Un uso del termine "sicurezza informatica" si riferisce alla tecnologia utilizzata per implementare sistemi operativi sicuri. Negli anni' 80 il Dipartimento della Difesa degli Stati Uniti (DoD) ha utilizzato gli standard "Orange Book", ma l' attuale standard internazionale ISO/IEC 15408,"Common Criteria" definisce una serie di livelli di garanzia di valutazione progressivamente più rigorosi. Molti sistemi operativi comuni soddisfano lo standard EAL4 di essere "Metodicamente progettati, testati e revisionati", ma la verifica formale richiesta per i livelli più alti significa che sono rari. Un esempio di un sistema EAL6 ("Semiformally Verified Design and Tested") è Integrity-178B, utilizzato nell' Airbus A380 e in diversi jet militari.
La tecnologia utilizzata per implementare sistemi operativi sicuri è un uso di quale termine?
sicurezza informatica