Tell your friends about this item:
Access Control, Security, and Trust: A Logical Approach - Chapman & Hall / CRC Cryptography and Network Security Series Shiu-Kai Chin
Access Control, Security, and Trust: A Logical Approach - Chapman & Hall / CRC Cryptography and Network Security Series
Shiu-Kai Chin
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
352 pages, 93 Illustrations, black and white
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 14, 2024 |
| ISBN13 | 9781032921310 |
| Publishers | Taylor & Francis Ltd |
| Pages | 352 |
| Dimensions | 150 × 220 × 10 mm · 453 g |