Outline for May 25, 2004

1. Access Control Mechanisms
   1. Capabilities
   2. Locks and Keys
   3. Type checking
   4. Ring-based access control
   5. PACLs
2. What is assurance?
   1. Trustworthy, trust
   2. Security assurance
   3. Trusted system
3. Need for assurance
4. Requirements
5. Assurance and the life cycle
   1. Policy assurance
   2. Design assurance
   3. Implementation assurance
   4. Operational assurance
6. Building trusted systems
   1. Stage 1: conception
   2. Stage 2: manufacture
   3. Deployment
   4. Maintenance
7. Life cycle: Waterfall Model