March 13, 2019 Outline

Reading: text, §9
Due: Project, due March 22, 2019, by 3:00pm Pacific time

  1. Composing deterministic, noninterference-secure systems
  2. Nondeducibility
    1. Event system
    2. Deducibly secure
    3. Composing deducibly secure systems
  3. Generalized noninterference
    1. Assumptions and nondeducibility
    2. Composing generalized noninterference systems
    3. Feedback-free systems
  4. Restrictiveness
    1. State machine model
    2. Composing restrictive systems
UC Davis seal
Matt Bishop
Office: 2209 Watershed Science
Phone: +1 (530) 752-8060
Email: [email protected]
You can also obtain a PDF version of this.
Version of March 11, 2019 at 2:36PM