Outline for November 27, 2023

Reading: text, §17.3–17.6
Due: Homework 5, due December 6; Completed Project, due December 12

  1. Compiler-based flow mechanisms
    1. Exceptions and infinite loops

  2. Compiler-based flow mechanisms
    1. Semaphores
    2. Cobegin/coend
    3. Soundness

  3. Execution-based flow mechanisms
    1. Fenton’s Data Mark Machine
    2. Variable classes

  4. Integrity and information flow

  5. Examples
    1. Android taint analysis
    2. Firewalls
UC Davis sigil
Matt Bishop
Office: 2209 Watershed Sciences
Phone: +1 (530) 752-8060
Email: mabishop@ucdavis.edu
ECS 235A, Computer and Information Security
Version of November 27, 2023 at 11:29AM

 You can also obtain a PDF version of this.

Valid HTML 4.01 Transitional Built with BBEdit Built on a Macintosh