| Table of Contents | 第1-7页 |
| Abstract | 第7-11页 |
| 摘要 | 第11-15页 |
| Chapter 1 Introduction | 第15-27页 |
| ·Motivations | 第17-21页 |
| ·Problems and Thoughts | 第21-23页 |
| ·Results and Contributions | 第23-26页 |
| ·Organization of the Dissertation | 第26-27页 |
| Chapter 2 Overview on Access Control | 第27-55页 |
| ·Basic Concepts about Access Control | 第27-28页 |
| ·Access Control Models | 第28-51页 |
| ·Discretionary Access Control | 第28-32页 |
| ·Mandatory Access Control | 第32-39页 |
| ·Role-Based Access Control | 第39-45页 |
| ·Other Access Control Models | 第45-51页 |
| ·Composition of Access Control Policies | 第51-55页 |
| Chapter 3 Flexible Access Control Policy | 第55-81页 |
| ·Motivations | 第55-56页 |
| ·Features of Flexible Access Control | 第56-62页 |
| ·Concepts | 第56-58页 |
| ·Features | 第58-60页 |
| ·Implementations | 第60-62页 |
| ·Flexible Access Control Based on Logics | 第62-68页 |
| ·Background | 第62-63页 |
| ·Characteristics of Logic Representation | 第63-67页 |
| ·Logic Authorization Specifications | 第67-68页 |
| ·Flexibility of RBAC Model | 第68-69页 |
| ·Formal Analysis of Implementing LBAC in RBAC | 第69-81页 |
| Chapter 4 Conflict Resolution in Flexible Access Control | 第81-99页 |
| ·Motivations | 第81-82页 |
| ·Conflict and Conflict Resolution | 第82-85页 |
| ·Conflict Resolution Based on Logic Programs | 第85-86页 |
| ·Conflict Resolution Strategy with LPOD Program | 第86-99页 |
| Chapter 5 Flexible Authorization Framework Based on Logic Programs | 第99-125页 |
| ·Motivations | 第99-101页 |
| ·Architecture of the Authorization Framework | 第101-105页 |
| ·Architecture | 第101-102页 |
| ·Data System | 第102-104页 |
| ·Basis of Framework Representation | 第104-105页 |
| ·PRAP Module | 第105-113页 |
| ·Privilege Assignment Program | 第105-109页 |
| ·Semantics of PRAP | 第109-112页 |
| ·Analysis of PRAP Semantics | 第112-113页 |
| ·URAP Module | 第113-120页 |
| ·Basic Predicate Expressions | 第113-114页 |
| ·Syntax of URAP | 第114-119页 |
| ·Semantics of URAP | 第119-120页 |
| ·Analysis of URAP Semantics | 第120页 |
| ·UR-RP Authorization Policy | 第120-123页 |
| ·Relevant Concepts | 第120-121页 |
| ·Authorization Policies | 第121-122页 |
| ·Analysis | 第122-123页 |
| ·Problems about Implementation | 第123-125页 |
| Chapter 6 Conclusion and Further Work | 第125-128页 |
| ·Conclusion | 第125-127页 |
| ·Further Work | 第127-128页 |
| Acknowledgements | 第128-129页 |
| Bibliography | 第129-138页 |
| Appendix | 第138-139页 |
| List of Tables | 第139-140页 |
| List of Figures | 第140-141页 |
