(1) En skriftlig garanti, at et system eller en komponent i overensstemmelse med dens angivne krav og er acceptabelt til operationelle brug. For eksempel, en skriftlig tilladelse at et computersystem er sikker og er tilladt at operere i en defineret environment.~(2) en formel demonstration at et system eller en komponent i overensstemmelse med dens angivne krav og er acceptabelt for operationelle use.~(3) processen med bekræfter, at et system eller en komponent i overensstemmelse med dens angivne krav og er acceptabelt til operationelle brug.