En process som används för att bestämma att säkerhetsfunktionerna i ett system genomförs som avsett och att de är tillräckliga för en föreslagna programmiljö.