Lecture 8 Outline

Reading: text, §18, 29
Assignments: Homework 2, due Oct. 17; Lab 2, due Oct. 19

1. Greetings and felicitations!
2. Puzzle of the Day
3. Assurance
   1. Trustworthy entities
   2. Security assurance
   3. Trusted system
   4. Why assurance is needed
   5. Requirements
   6. Assurance and the software life cycle
4. Program security: example
   1. Requirements and policy
   2. Design
   3. Refinement and implementation
   4. Testing, maintenance, and operation
   5. Distribution