February 28, 2024 Outline

Reading: text, §19.2, 20
Due: Homework #4, due March 5; Extra Credit #E, due March 4

Module 43 (Introduction to Assurance)

1. Assurance
   1. Assurance and software life cycle

Module 44 (Building Systems with Assurance)

2. Policy and requirements
   1. Security specifications
   2. Problems with precision
   3. Example: System X and Bell-LaPadula
   4. Justifying requirements

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

ECS 235B, Foundations of Computer and Information Security Version of February 28, 2024 at 9:51AM

You can also obtain a PDF version of this.