February 22, 2021 Outline

Reading: text: , §9.2.4–9.5
Due: Homework #4, due March 5


Module 37

  1. Policies that change over time
    1. Example
Module 38
  1. Composing deterministic, noninterference-secure systems
Module 39
  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
Module 40
  1. Restrictiveness
    1. State machine model
    2. Composing restrictive systems


UC Davis sigil
Matt Bishop
Office: 2209 Watershed Sciences
Phone: +1 (530) 752-8060
Email: mabishop@ucdavis.edu
ECS 235B, Foundations of Computer and Information Security
Version of February 23, 2021 at 9:36AM

You can also obtain a PDF version of this.

Valid HTML 4.01 Transitional Built with BBEdit Built on a Macintosh