Access Control, Security and Trust: A Logical Approach - Solutions Manual (Chapman & Hall/CRC Cryptography and Network Security Series)

Using propositional modal logic to explain access control principles, this work provides 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.