Access control, security, and trust : a logical approach /

Bibliographic Details
Main Authors:	Chin, Shiu-Kai (Author), Older, Susan Beth (Author)
Corporate Author:	Taylor & Francis
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Boca Raton, FL : Chapman and Hall/CRC, an imprint of Taylor and Francis, 2010.
Edition:	First edition.
Series:	Chapman & Hall/CRC cryptography and network security.
Subjects:	Computers > Access control. System design. Ordinateurs > Accès > Contrôle. Conception de systèmes. Computers > Access control System design Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

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