Tell your friends about this item:
Access Control, Security, and Trust: A Logical Approach - Chapman & Hall / CRC Cryptography and Network Security Series Chin, Shiu-Kai (Syracuse University, New York, USA)
Access Control, Security, and Trust: A Logical Approach - Chapman & Hall / CRC Cryptography and Network Security Series
Chin, Shiu-Kai (Syracuse University, New York, USA)
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 |