Extra Credit #4

Due: March 5, 2021
Points: 25

1. (25 points) Prove that the system resulting from the composition of two restrictive systems is itself restrictive.

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 February 23, 2021 at 12:19AM

You can also obtain a PDF version of this.