January 17, 2023 Outline

Reading: text, §3.4–3.6
Due: Homework #1, due January 24; Project Selection, due January 26

1. Schematic Protection Model
   1. Protection type, ticket, function, link predicate, filter function
   2. Take-Grant as an instance of SPM
   3. Create rules and attenuation
   4. Definitions
   5. path^h predicate
   6. Capacity flow function
   7. Maximal state: definition, existence, derivability
2. Acyclic attenuating schemes and decidability
3. Expressive power
   1. SPM and HRU
4. Typed access control model (TAM)

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 January 16, 2023 at 7:38PM

You can also obtain a PDF version of this.