February 19, 2021 Outline

Reading: text: §9.2–9.3
Due: Homework #3, due February 19

Module 35

1. Alternative definition of security policy
   1. Noninterference-secure with respect to the policy r
2. Unwinding Theorem
   1. Locally respects
   2. Transition-consistent
   3. Unwinding theorem

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

4. Policies that change over time
   1. Generalization of noninterference
   2. Example

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 21, 2021 at 10:48PM

You can also obtain a PDF version of this.