Outline for May 22, 2003

1. What is assurance?
   1. Trustworthy, trust
   2. Security assurance
   3. Trusted system
2. Need for assurance
3. Requirements
4. Assurance and the life cycle
   1. Policy assurance
   2. Design assurance
   3. Implementation assurance
   4. Operational assurance
5. Building trusted systems
   1. Stage 1: conception
   2. Stage 2: manufacture
   3. Deployment
   4. Maintenance
6. Life cycle: Waterfall Model
   1. Requirements definition and analysis
   2. System and software design (system design, program design)
   3. Implementation and unit testing
   4. Integration and system testing
   5. Operation and maintenance
7. Other life cycle models
   1. Exploratory programming
   2. Prototyping
   3. Formal transformation
   4. System assembly from reusable components
   5. Extreme programming