(1) Egy írásbeli garanciát, hogy egy rendszer vagy egy összetevő annak a megadott követelményeknek megfelelő és elfogadható működési használatra. Például egy írott felhatalmazás, hogy számítógépes rendszer biztonságos-e, és, hogy egy meghatározott environment.~(2) formális demonstrációs, hogy egy rendszer vagy egy összetevő annak a megadott követelményeknek megfelelő és elfogadható működési use.~(3) a folyamat, amely igazolja, hogy egy rendszer vagy egy összetevő annak a megadott követelményeknek megfelelő és elfogadható működési használatra vonatkozó megengedett.