March 8, 2019 Outline

Reading: text, §18, 9
Due: Homework 4, due March 8, 2019


  1. Capacity
    1. When is bandwidth of covert channel?
    2. Analysis
    3. Measuring capacity
  2. Mitigating covert channels
    1. Preallocation and hold until process terminates
    2. Impose uniformity
    3. Randomize resource allocation
    4. Efficiency/performance vs. security
  3. Overview of policy composition
  4. Deterministic noninterference
    1. Model of system
    2. Example
    3. Relationship of output to states

UC Davis seal
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 March 10, 2019 at 5:58PM