February 14, 2022 Outline

Reading: text, §8.2—8.4, 9.1; paper traduce.pdf
Assignments: Homework 3, due February 18

Module 37

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 38

2. Break-the-glass policies

Module 39

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

Module 40

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

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 16, 2022 at 12:04AM

You can also obtain a PDF version of this.