600.436
High-Assurance Systems
Fall 01/Introduction
9
Evaluator Objectives
¨Professional
recognition
–Contribute
to more secure (virtual) world
–Best
job at lowest cost
¨Provide
minimal (preferably no) basis for any claims that insecurity is their
“fault” by taking the moral “high ground” and either
–Doing
more than is necessary
–Doing
exactly what is required