March 11, 2019 Outline

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

  1. Deterministic noninterference
    1. Model of system
    2. Example
    3. Relationship of output to states
    4. Projections and purge functions
  2. Alternative definition of security policy
    1. Output-consistent
    2. Security policy
    3. Alternate projection function
    4. Noninterference-secure with respect to the policy $r$
  3. Unwinding Theorem
    1. Locally respects
    2. Transition-consistent
    3. Unwinding theorem
  4. Access Control Matrix interpretation
    1. Model
    2. ACM conditions
    3. Policy conditions
    4. Result
  5. Policies that change over time
    1. Generalization of noninterference
    2. Example
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:35PM