McAfee
Evaluation
FreeBSD
Trusted system
Common Criteria
Trusted operating system
Robert Watson
GEOM
Access control
Computer security
Security
Computing