600.436 High-Assurance Systems
Fall 01/Introduction
6
From First Week…
Basic Questions of Assurance (Again)
¨What are the (security) requirements?
¨How can satisfaction of these requirements be tested? ¨How to ensure appropriateness and comprehensiveness of the test process? ¨What is the evidence that the testing was competently and thoroughly done?