Stopień, w jakim można mieć pewność, że system spełnia swoje cele. Oznacza to, że system robi to, co uważa za słuszne, i nie wykonuje niepożądanych funkcji. Jest to zgodne ze słynną definicją Gene’a Spafforda, że bezpieczny komputer to taki, który robi to, co powinien.
Skrót: –
