Outline for May 8, 2013

Reading: §8.4–8.5, 14
Due: Progress report, due May 8, 2013
         Homework #3, due May 10, 2013

  1. Nondeducibility
    1. Event system
    2. Deducibly secure
    3. Composing deducibly secure systems
  2. Generalized noninterference
    1. Assumptions and nondeducibility
    2. Composing generalized noninterference systems
    3. Feedback-free systems
  3. Restrictiveness
    1. State machine model
    2. Composing restrictive systems
  4. Identity
    1. Files, objects
    2. Processes, subjects
    3. Users, groups, roles, and all that

You can also obtain a PDF version of this. Version of May 6, 2013 at 10:45PM