Mathemical Introduction to Access Control

Using propositional modal logic to explain access control principles, this workprovides the mathematical means to comprehend, analyze, create and verify the policies and control mechanisms used to protect resources. It starts with a preliminary introduction and then covers distributed access control, resources and sharing, and security monitors, the latter of which serves as a bridge to classical security models. While structured as a text for advanced undergraduates and graduate students, the book also meets the reference needs of those computer engineers, computer scientists, and information technologists responsible for designing, implementing, and verifying computer and information systems.Chin Shiu-Kai Staff is the author of 'Mathemical Introduction to Access Control ', published 2008 under ISBN 9781584888628 and ISBN 1584888628.