ECS 235B, Winter 2022: Lecture 9 Outline and Slides

Outline

Module Slides

  1. Applying the Bell-LaPadula Model
  2. Tranquility
  3. The Controversy and System Z
  4. Introduction to Assurance

Other Useful Documents