April 26, 2017 Outline

Reading: text, §19; [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
You can also obtain a PDF version of this. Version of April 26, 2017 at 11:04PM