Recomendar este libro

Imprimir ficha del artículo

Comentarios (0)

Contenido

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.

Detalles del artículo

• Páginas : 351
• Editorial : Chapman & Hall/CRC Statistics and Mathem
• Idioma : Inglés
• Fecha de Publicación : 30/07/2010
• ISBN: 9781584888628
• Serie: Chapman & Hall/CRC cryptography and network security series
• Encuadernación : Cartoné
• Nº Volúmenes : 1
• País de Publicación : Reino Unido (INGLATERRA)