Computing
Evaluation Assurance Level
Common Criteria
Security Target
Protection Profile
FIPS 140-2
ALGOL 68
Evaluation
Computer security
Security