| 摘要 | 第4-6页 |
| ABSTRACT | 第6-8页 |
| 第1章 绪论 | 第17-35页 |
| 1.1 课题背景及意义 | 第17-18页 |
| 1.2 安全访问控制技术及国内外研究现状 | 第18-30页 |
| 1.2.1 访问控制模型的发展 | 第18-19页 |
| 1.2.2 RBAC模型 | 第19-23页 |
| 1.2.3 分布式和跨域RBAC模型 | 第23-25页 |
| 1.2.4 时间约束RBAC模型 | 第25-27页 |
| 1.2.5 其它RBAC扩展模型 | 第27页 |
| 1.2.6 RBAC及其扩展模型的形式化定义和验证 | 第27-30页 |
| 1.3 本文的研究内容及组织结构 | 第30-35页 |
| 1.3.1 本文的研究内容 | 第30-32页 |
| 1.3.2 本文的组织结构 | 第32-35页 |
| 第2章 基于Petri网的RBAC模型非法信息流检测与控制方法 | 第35-61页 |
| 2.1 引言 | 第35-36页 |
| 2.2 RBAC模型 | 第36页 |
| 2.3 RBAC模型非法信息流问题描述 | 第36-38页 |
| 2.4 Petri网相关定义 | 第38-40页 |
| 2.5 基于经典Petri网的非法信息流检测 | 第40-45页 |
| 2.5.1 基于与分裂变迁的非法信息流检测模型 | 第40-43页 |
| 2.5.2 基于或分裂变迁的Petri网构建算法的改进 | 第43-45页 |
| 2.6 基于有色Petri网的非法信息流控制 | 第45-51页 |
| 2.6.1 基于有色Petri网的信息流模型 | 第47-51页 |
| 2.6.2 基于有色Petri网的非法信息流控制模型 | 第51页 |
| 2.7 实验验证与分析 | 第51-59页 |
| 2.7.1 基于经典Petri网的非法信息流检测实验验证 | 第51-54页 |
| 2.7.2 基于有色Petri网的非法信息流控制实验验证 | 第54-56页 |
| 2.7.3 对比与效率分析 | 第56-59页 |
| 2.8 本章小结 | 第59-61页 |
| 第3章 基于Petri网的IRBAC域间SMER约束冲突检测方法 | 第61-73页 |
| 3.1 引言 | 第61-62页 |
| 3.2 IRBAC模型和SMER约束相关概念 | 第62-64页 |
| 3.2.1 IRBAC模型 | 第62-63页 |
| 3.2.2 SMER约束冲突 | 第63-64页 |
| 3.3 基于Petri网的域间SMER约束冲突检测 | 第64-66页 |
| 3.4 SMER约束安全的先决条件 | 第66-69页 |
| 3.5 实验验证与效率分析 | 第69-72页 |
| 3.6 本章小结 | 第72-73页 |
| 第4章 面向隐私保护的IRBAC域间SMER约束冲突检测方法 | 第73-91页 |
| 4.1 引言 | 第73-74页 |
| 4.2 SMC基础模块 | 第74-75页 |
| 4.2.1 OT_n~1茫然传输 | 第74-75页 |
| 4.2.2 同态加密 | 第75页 |
| 4.3 基于矩阵乘积的SMER约束冲突检测 | 第75-81页 |
| 4.4 面向隐私保护的三方矩阵乘积协议 | 第81-85页 |
| 4.5 面向隐私保护的IRBAC域间SMER约束冲突检测协议 | 第85-86页 |
| 4.6 面向隐私保护的三方安全矩阵乘积协议效率分析 | 第86页 |
| 4.7 实验验证与分析 | 第86-89页 |
| 4.8 本章小结 | 第89-91页 |
| 第5章 时间约束RBAC模型的安全分析与改进 | 第91-140页 |
| 5.1 引言 | 第91-92页 |
| 5.2 TRBAC和GTRBAC模型 | 第92-93页 |
| 5.3 周期表达式和周期时刻表达式 | 第93-94页 |
| 5.3.1 周期表达式 | 第93页 |
| 5.3.2 周期时刻表达式 | 第93-94页 |
| 5.4 TRBAC和GTRBAC模型的安全分析 | 第94-97页 |
| 5.5 TRBAC和GTRBAC模型的形式化定义问题及分析 | 第97-102页 |
| 5.5.1 周期性约束定义的歧义性 | 第98-99页 |
| 5.5.2 角色控制、用户/角色和角色/权限的持续时间约束歧义性 | 第99-100页 |
| 5.5.3 约束有效性控制定义的不完全性 | 第100-101页 |
| 5.5.4 事件发生特性 | 第101页 |
| 5.5.5 带时间约束的角色层次和职责分离 | 第101-102页 |
| 5.6 TRBAC和GTRBAC中周期性角色有效时间约束的简化表达 | 第102-107页 |
| 5.7 改进的时间约束RBAC模型的形式化定义 | 第107-124页 |
| 5.7.1 基本定义 | 第107-111页 |
| 5.7.2 改进的时间RBAC模型语义 | 第111-116页 |
| 5.7.3 模型执行语义 | 第116-122页 |
| 5.7.4 执行模型 | 第122-124页 |
| 5.8 基于有色Petri网的时间约束RBAC模型的形式化验证 | 第124-127页 |
| 5.8.1 用户-角色配置模块 | 第125页 |
| 5.8.2 角色层次配置模块 | 第125-126页 |
| 5.8.3 角色激活模块 | 第126页 |
| 5.8.4 合并模型 | 第126-127页 |
| 5.9 实验验证与分析 | 第127-139页 |
| 5.9.1 角色激活模块实验验证 | 第128-133页 |
| 5.9.2 合并模型实验验证 | 第133-137页 |
| 5.9.3 对比与分析 | 第137-139页 |
| 5.10 本章小结 | 第139-140页 |
| 结论 | 第140-142页 |
| 参考文献 | 第142-156页 |
| 附录A 检测单元计算H_0算法 | 第156-158页 |
| 附录B 基于有色Petri网的时间约束RBAC验证模型的状态空间爆炸解决方案 | 第158-175页 |
| B.0.1 状态空间爆炸及传统解决方法 | 第158页 |
| B.0.2 有色Petri网的状态空间爆炸问题 | 第158-160页 |
| B.1 有色Petri网状态空间爆炸的解决方法 | 第160-173页 |
| B.1.1 一致性有色Petri网 | 第160-161页 |
| B.1.2 基于偏序技术的Petri网建模 | 第161-164页 |
| B.1.3 基于颜色集定义转换的Petri网建模 | 第164-167页 |
| B.1.4 基于一致性有色Petri网特性的状态空间简化 | 第167-173页 |
| B.2 基于仿真方法的模型检测 | 第173页 |
| B.3 小结 | 第173-175页 |
| 附录C 形式化验证模型图 | 第175-181页 |
| 攻读博士学位期间发表的论文及其它成果 | 第181-184页 |
| 致谢 | 第184-185页 |
| 个人简历 | 第185页 |
