February 14, 2023 Outline

Reading: text, §9
Due: Homework #3, due February 23; Project Progress Report, due February 14

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. Alternative definition of security policy
   1. Noninterference-secure with respect to the policy r

4. Unwinding Theorem
   1. Locally respects
   2. Transition-consistent
   3. Unwinding theorem

5. Access Control Matrix interpretation
   1. Model
   2. ACM conditions
   3. Policy conditions
   4. Result

6. Policies that change over time
   1. Generalization of noninterference

7. Nondeducibility
   1. Event system
   2. Deducibly secure
   3. Composing deducibly secure systems

8. Generalized noninterference
   1. Assumptions and nondeducibility
   2. Composing generalized noninterference systems

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 14, 2023 at 1:10PM

You can also obtain a PDF version of this.