Extra Credit #1

Due: June 11, 2025
Points: 30

Generalize the give-read rule (in section 5.2.4.2) to give-write and give-append, and prove they preserve the simple security condition, the *-property, and the discretionary security property.
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 June 6, 2025 at 12:32PM

 You can also obtain a PDF version of this.

Valid HTML 4.01 Transitional Built with BBEdit Built on a Macintosh