January 14, 2019 Outline

Reading: text, § 3.4–3.7
Due: Homework 1, due January 23

  1. Acyclic attenuating schemes and decidability
  2. Expressive power
    1. SPM and HRU
    2. ESPM and multiparent create
    3. Simulation and expressiveness
    4. Typed access control model (TAM)
  3. Comparing Security Properties
    1. Schemes and security properties
    2. Augmented typed access matrix model
UC Davis seal
Matt Bishop
Office: 2209 Watershed Science
Phone: +1 (530) 752-8060
Email: [email protected]
You can also obtain a PDF version of this.
Version of January 12, 2019 at 11:22PM