May 5, 2025 Outline

Reading: text, §9.1–9.2
Due: Project progress report, due May 7; Homework #3, due May 14

1. Problem with instantiation of Bell-LaPadula Model
   1. Principles of autonomy and security

Module 35 (text, §9.2)

2. Deterministic noninterference
   1. Model of system
   2. Example
   3. Relationship of output to states
   4. Projections and purge functions

Module 36 (text, §9.2.1)

3. Alternative definition of security policy
   1. Output-consistent
   2. Security policy
   3. Noninterference-secure with respect to the policy r

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

Module 37 (text §9.2.2)

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

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 May 4, 2025 at 9:23PM

You can also obtain a PDF version of this.