April 24, 2026 Outline

Reading: text, §9.2–9.3
Assignments: Homework #2, due April 28 (Note extension); Project progress report, due May 11

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. 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

6. Policy composition

7. Nondeducibility
   1. Event system
   2. Deducibly secure

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 April 26, 2026 at 6:04PM

You can also obtain a PDF version of this.