April 7, 2025 Outline

Reading: text,§3.4–3.5
Assignments: Homework #1, due April 14; Project selection, due April 16

Module 10 (text, §3.4)

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

Module 11 (text, §3.5–3.5.3)

3. Expressive power
   1. SPM and HRU

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 7, 2025 at 2:32PM

You can also obtain a PDF version of this.