Outline for November 19, 2021

Reading: text, §17.4–17.6
Due: Homework 4, due Nov 22, 2021

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

  2. Integrity and information flow

  3. 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 19, 2021 at 7:12AM

You can also obtain a PDF version of this.

Valid HTML 4.01 Transitional Built with BBEdit Built on a Macintosh