March 1, 2021 Outline

Reading: text: , §17.2–17.5
Due: Homework #4, due March 5

Module 45

  1. Compiler-based flow mechanisms
    1. Goto statements
    2. Procedure calls
    3. Exceptions and infinite loops
    4. Semaphores
    5. Cobegin/coend
    6. Soundness
Module 46
  1. Execution-based flow mechanisms
    1. Fenton’s Data Mark Machine
    2. Variable classes
Module 47
  1. Integrity and information flow

UC Davis sigil
Matt Bishop
Office: 2209 Watershed Sciences
Phone: +1 (530) 752-8060
Email: mabishop@ucdavis.edu
ECS 235B, Foundations of Computer and Information Security
Version of March 1, 2021 at 12:50PM

 You can also obtain a PDF version of this.

Valid HTML 4.01 Transitional Built with BBEdit Built on a Macintosh