Formal Models of Secure Systems
{"Image DocumentName": "Formal Models of Secure Systems", "Image ImageDescription": "(a) An authorized state. (b) An unauthorized state.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}