April 28, 2017 Outline

Reading: text, §19; Chapters from revised text, §6–6.2; [D+06,Mi79]
Due: Homework #2, May 1; Project Progress Report, May 12

1. Policy and requirements
   1. Security specifications
   2. Problems with precision
   3. Example: System X and Bell-LaPadula
   4. Justifying requirements
2. Techniques to support design assurance
   1. Subsystem, subcomponent, module
3. Design documents
   1. Security functions summary specification
   2. External functional specification
   3. Internal design description
4. Justifying design meets requirements
   1. Reviews