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)

UC Davis sigil
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.

Valid HTML 4.01 Transitional Built with BBEdit Built on a Macintosh