March 2, 2023 Outline

Reading: text, §17.2, 18.1
Assignments: Homework #4, due March 14

1. Non-lattice policies
   1. Transitivity
   2. Information flow policy
   3. Confinement flow model

2. Transitive non-lattice policies
   1. Quasi-ordered sets

3. Basic policy composition

4. Non-transitive policies
   1. Dual mappings
   2. Theorem: a dual mapping from a reflexive information flow policy into an ordered set is order-preserving

5. Confinement problem
   1. What it is
   2. Covert channels
   3. Rule of transitive confinement
   4. Difficulty of preventing leaking

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 March 10, 2023 at 1:33PM

You can also obtain a PDF version of this.