Outline for May 25, 2004
- Access Control Mechanisms
- Capabilities
- Locks and Keys
- Type checking
- Ring-based access control
- PACLs
- What is assurance?
- Trustworthy, trust
- Security assurance
- Trusted system
- Need for assurance
- Requirements
- Assurance and the life cycle
- Policy assurance
- Design assurance
- Implementation assurance
- Operational assurance
- Building trusted systems
- Stage 1: conception
- Stage 2: manufacture
- Deployment
- Maintenance
- Life cycle: Waterfall Model
Here is a PDF version of this document.