March 6, 2019 Outline

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

  1. Isolation: program modification
    1. Loading
  2. Covert channels
    1. Storage vs. timing
    2. Noise vs. noiseless
    3. Existence
    4. Bandwidth
  3. Covert channel detection
    1. Shared Resource Matrix Model
    2. Information flow analysis
    3. Covert flow trees
  4. Shared resource matrix methodology
    1. Identify shared resources, attributes
    2. Operations accessing those attributes
    3. Building the matrix
    4. Issues about the methodology
  5. Information flow analysis
    1. Direct, indirect flows
  6. Covert flow trees
    1. Goals, symbols
    2. Construction of covert flow trees
    3. Analysis
    4. Example
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 March 7, 2019 at 12:31PM