Inhalt
This book equips readers with an access control logic they can use to specify and verify their security designs. Throughout the text, the authors use a single access control logic based on a simple propositional modal logic. The first part of the book presents the syntax and semantics of access control logic, basic access control concepts, and a
Bibliografische Angaben
Oktober 2024, 352 Seiten, Chapman & Hall/CRC Cryptography and Network Security Series, Englisch
Taylor and Francis
978-1-032-92131-0