Access control, security, and trust : a logical approach / / by Shiu-Kai Chin and Susan Beth Older
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Chin Shiu-Kai
|
| Titolo: |
Access control, security, and trust : a logical approach / / by Shiu-Kai Chin and Susan Beth Older
|
| Pubblicazione: | Boca Raton, FL : , : Chapman and Hall/CRC, an imprint of Taylor and Francis, , 2010 |
| Edizione: | First edition. |
| Descrizione fisica: | 1 online resource (348 p.) |
| Disciplina: | 005.8 |
| Soggetto topico: | Computers - Access control |
| System design | |
| Persona (resp. second.): | OlderSusan Beth |
| Note generali: | "A Chapman & Hall Book." |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Front cover; Contents; List of Tables; List of Figures; Preface; Chapter 1. Access Control, Security, Trust, and Logic; Part I: Preliminaries; Chapter 2. A Language for Access Control; Chapter 3. Reasoning about Access Control; Chapter 4. Basic Concepts; Chapter 5. Security Policies; Part II: Distributed Access Control; Chapter 6. Digital Authentication; Chapter 7. Delegation; Chapter 8. Networks: Case Studies; Part III: Isolation and Sharing; Chapter 9. A Primer on Computer Hardware; Chapter 10. Virtual Machines and Memory Protection |
| Chapter 11. Access Control Using Descriptors and CapabilitiesChapter 12. Access Control Using Lists and Rings; Part IV: Access Policies; Chapter 13. Confidentiality and Integrity Policies; Chapter 14. Role-Based Access Control; Appendix A; Summary of the Access-Control Logic; Bibliography; Notation Index; Back cover | |
| Sommario/riassunto: | Developed from the authors’ courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach 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. |
| Titolo autorizzato: | Access control, security, and trust |
| ISBN: | 1-4398-9155-9 |
| 0-429-18443-3 | |
| 1-4398-9463-9 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910797026503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Chapman & Hall/CRC cryptography and network security.