May 8, 2017 Outline

Reading: Chapters from revised text, §8.4; [WB04]
Due: Project Progress Report, May 12; Homework #3, May 19

1. Role-based Access Control (RBAC)
   1. Definition of role
   2. Partitioning as job function
   3. Axioms
   4. Containment and other uses
2. Traducement
   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