January 10, 2022 Outline

Reading: text, §3.4.4–3.6
Due: Homework #1, due January 19; Project Selection, due January 21

1. Schematic Protection Model: Safety analysis
   1. Definitions
   2. path^h predicate
   3. Capacity flow function
   4. Maximal state: definition, existence, derivability
2. Acyclic attenuating schemes and decidability

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 January 10, 2022 at 11:34PM

You can also obtain a PDF version of this.