Outline for October 3, 2025

Reading: text, §5.1–5.2.2, 5.3
Assignments: Homework 1, due October 8; Project selection, due Oct 10

1. Class overview
2. Full Bell-LaPadula Model
   1. Add in compartments
   2. dom relation
   3. BLP as lattice structure
   4. Simple security property
   5. *-Property
   6. Discretionary security property
   7. Basic Security Theorem

3. Range of levels

4. Example: Trusted Solaris

5. Tranquility
   1. Declassification problem
   2. Strong tranquility
   3. Weak tranquility

6. Declassification

Matt Bishop Office: 2209 Watershed Sciences Phone: +1 (530) 752-8060 Email: mabishop@ucdavis.edu

ECS 235A, Computer and Information Security Version of October 4, 2025 at 8:47AM

You can also obtain a PDF version of this.