Outline for June 2, 2006

Reading: text, §19.1.3—19.2

1. Greetings and felicitations!
   1. No class next week because I am out of town
   2. Please remember to fill out class evaluations–this is a new course, and I would welcome suggestions
2. Policy and requirements
   1. Security specifications
   2. Problems with precision
   3. Example: System X and Bell-LaPadula
   4. Justifying requirements
3. Design Techniques
   1. Subsystems and modules
   2. Design documents
   3. Documentation and specification
   4. Justifying design meets requirements
   5. Reviewing evidence of assurance