Vai al contenuto principale della pagina
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 | |
Soggetto genere / forma: | Electronic books. |
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: | 0-429-18443-3 |
1-4398-9463-9 | |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910460736103321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |