January 28, 2022 Outline

Reading: text, §20.1.3–20.2.2
Assignments: Homework #2, due February 4

Module 24

1. Policy and requirements
   1. Example: System X and Bell-LaPadula
   2. Justifying requirements

Module 25

2. Techniques to support design assurance
   1. Subsystem, subcomponent, module
3. Design documents
   1. Security functions summary specification
   2. External functional specification
   3. Internal design description

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 January 31, 2022 at 11:11AM

You can also obtain a PDF version of this.