基于模型检测的空间访问控制系统规则验证
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 绪论 | 第11-16页 |
| ·研究背景及意义 | 第11-12页 |
| ·国内外发展现状 | 第12-14页 |
| ·本文的主要工作 | 第14-15页 |
| ·本文的组织结构 | 第15-16页 |
| 第二章 空间访问控制系统与模型检测技术分析 | 第16-26页 |
| ·访问控制系统的模型 | 第16-17页 |
| ·带空间特性角色访问控制系统模型 | 第17-22页 |
| ·Spatial-RBAC模型 | 第18-19页 |
| ·Spatial-RBAC空间约束 | 第19-22页 |
| ·访问控制系统的安全需求 | 第22页 |
| ·访问控制系统规则检测方法 | 第22-24页 |
| ·模型检测技术 | 第24-25页 |
| ·小结 | 第25-26页 |
| 第三章 基于谓词逻辑的空间访问控制系统的描述 | 第26-36页 |
| ·空间实体关系的谓词刻画 | 第26-27页 |
| ·空间区域信息映射函数 | 第27-28页 |
| ·空间授权规则的表示 | 第28-34页 |
| ·空间访问控制系统描述表示方法的相关讨论 | 第34-35页 |
| ·小结 | 第35-36页 |
| 第四章 空间访问控制系统规则检测算法的设计 | 第36-48页 |
| ·检测属性 | 第36-40页 |
| ·空间区域约束属性 | 第36-37页 |
| ·空间角色激活基数约束属性 | 第37页 |
| ·空间职责分离约束属性 | 第37-40页 |
| ·检测算法的设计 | 第40-47页 |
| ·系统状态空间的构建 | 第41-43页 |
| ·读写权限的判断 | 第43页 |
| ·规则检测算法的设计 | 第43-46页 |
| ·算法正确性证明 | 第46-47页 |
| ·小结 | 第47-48页 |
| 第五章 检测工具的改进 | 第48-61页 |
| ·ACPEG源代码分析 | 第48-52页 |
| ·ACPEG功能的扩充 | 第52-55页 |
| ·空间区域信息的处理 | 第52-55页 |
| ·空间访问控制系统检测算法的实现 | 第55页 |
| ·实例分析-公司内部资源管理系统 | 第55-60页 |
| ·小结 | 第60-61页 |
| 第六章 总结与展望 | 第61-63页 |
| ·总结 | 第61-62页 |
| ·展望 | 第62-63页 |
| 参考文献 | 第63-66页 |
| 致谢 | 第66-67页 |
| 攻读硕士期间发表的论文 | 第67页 |
