Formell dokumentation som verifierar att ett försvarssystem uppfyller säkerhetskrav och är lämpligt för militär användning. Genomförs innan systemet tas i bruk.