Extra Credit #3

Due: February 23, 2023
Points: 50


Prove that the system resulting from the composition of two restrictive systems is itself restrictive.


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 February 9, 2023 at 2:53PM

You can also obtain a PDF version of this.

Valid HTML 4.01 Transitional Built with BBEdit Built on a Macintosh