May 2, 2025 Outline

Reading: text §8.5, 9.1; paper “Traducement: A Model for Record Security” [WB04]

Module 32 (Reading: [WB04])

1. Traducement
   1. Problem of recordation
   2. Requirements of solution
   3. Ideas, entities, and rules
   4. Proposition and theorems
   5. Naming
   6. Validation of model
   7. Consequences
      1. Practice and use
      2. Assumptions

Module 33 (Reading: text §8.5)

2. Break-the-glass policies

Module 34 (Reading: text §9.1)

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

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 2, 2025 at 9:41AM

You can also obtain a PDF version of this.