Varje säkerhetsfunktion valideras mot sitt krav: efterfrågan skapas, reaktionen mäts, feltillstånd provoceras. Ett protokoll är beviset.