Outline for May 12, 2005

Reading: §18, §19.1.2, §22.1-22.3

Outline

1. Other life cycle models
   1. Exploratory programming
   2. Prototyping
   3. Formal transformation
   4. System assembly from reusable components
   5. Extreme programming
2. Reference monitors
3. Malicious logic
   1. Quickly review Trojan horses, viruses, bacteria; include animal and Thompson's compiler trick