January 30, 2019 Outline

Reading: text, §5.4, 18
Due: Homework 2, February 8, 2019

1. Writing a proof
2. System Z and the controversy
3. Assurance
   1. Trustworthy entities
   2. Security assurance
   3. Trusted system
   4. Why assurance is needed
   5. Requirements
   6. Assurance and software life cycle

Matt Bishop Office: 2209 Watershed Science Phone: +1 (530) 752-8060 Email: mabishop@ucdavis.edu

You can also obtain a PDF version of this. Version of January 29, 2019 at 7:21PM