April 6, 2026 Outline

Reading: text, §3.5–3.6, 4.1–4.4
Assignments: Homework #1, due April 10; Project selection, due April 17

1. Expressive power
   1. SPM and HRU
   2. Multi-parent create
   3. Simulation

2. Typed access control model (TAM)

3. Comparing security properties of models
   1. Augmented Typed Access Control Model

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 6, 2026 at 12:32PM

You can also obtain a PDF version of this.