En proces, der anvendes til at bestemme at sikkerhedsfunktionerne i et system er gennemført som udviklet og at de er passende for en foreslåede programmiljø.