February 12, 2021 Outline

Reading: text: , §8.6, 9.1–9.2
Due: Project progress report, due February 12; Homework #3, due February 19

Module 31

1. Traducement (see paper traduce.pdf)
   1. Problem of recordation
   2. Requirements of solution
   3. Ideas, entities, and rules
   4. Proposition and theorems
   5. Naming
   6. Validation of model
   7. Consequences
      1. Practice and use
      2. Assumptions

2. Break-the-glass policies

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 February 13, 2021 at 10:24PM

You can also obtain a PDF version of this.