Bemærk: Kan ikke leveres før jul.
Forventes på lager: 14-10-2024
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
| Forlag | Taylor & Francis Ltd |
| Forfattere | Shiu-Kai Chin, Susan Beth Older |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 14-10-2024 |
| Første udgivelsesår | 2024 |
| Serie | Chapman & Hall/CRC Cryptography and Network Security Series |
| Illustrationer | 93 Illustrations, black and white |
| Originalsprog | United Kingdom |
| Sideantal | 352 |
| Indbinding | Paperback / softback |
| Forlag | Taylor & Francis Ltd |
| Sideoplysninger | 352 pages, 93 Illustrations, black and white |
| Mål | 234 x 156 |
| ISBN-13 / EAN-13 | 9781032921310 |