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

Version of June 2, 2006 at 8:45 AM

You can also obtain a PDF version of this.