February 1, 2019 Outline

Reading: text, §19.2, 20
Due: Homework 2, due February 8, 2019

  1. Assurance
    1. Assurance and software life cycle
  2. Policy and requirements
    1. Security specifications
    2. Problems with precision
    3. Example: System X and Bell-LaPadula
    4. Justifying requirements
  3. Techniques to support design assurance
    1. Subsystem, subcomponent, module
  4. Design documents
    1. Security functions summary specification
    2. External functional specification
    3. Internal design description
  5. Justifying design meets requirements
    1. Reviews
UC Davis seal
Matt Bishop
Office: 2209 Watershed Science
Phone: +1 (530) 752-8060
Email: [email protected]
You can also obtain a PDF version of this.
Version of January 30, 2019 at 8:32PM