Using propositional modal logic to explain access control principles, this work provides the mathematical means to comprehend, analyze, create & verify the policies & control mechanisms used to protect resources. It is suitable for those designing, implementing & verifying computer & information systems.