Extra Credit #2

Due: February 5, 2021
Points: 30

1. (30 points) 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.

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 January 24, 2021 at 12:52PM

You can also obtain a PDF version of this.