April 22, 2026 Outline

Reading: [WB04]; text, §9.1–9.2
Assignments: Homework #2, due April 24; Project progress report, due May 11

1. Traducement
   1. Proposition and theorems
   2. Naming
   3. Validation of model
   4. Consequences
      1. Practice and use
      2. Assumptions

2. Break-the-glass policies

3. Problem with instantiation of Bell-LaPadula Model
   1. Covert channel example: what is “writing”?
   2. Composition of lattices
   3. Principles of autonomy and security

4. Deterministic noninterference
   1. Model of system
   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 April 22, 2026 at 2:22PM

You can also obtain a PDF version of this.