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 apreliminary 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.
- ISBN: 978-1-58488-862-8
- Editorial: Chapman & Hall/CRC Statistics and Mathem
- Encuadernacion: Cartoné
- Páginas: 351
- Fecha Publicación: 30/07/2010
- Nº Volúmenes: 1
- Idioma: Inglés