带时间特性的自动信任协商模型研究
| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-10页 |
| 插图索引 | 第10-11页 |
| 第1章 绪论 | 第11-19页 |
| ·引言 | 第11-12页 |
| ·课题来源 | 第12页 |
| ·国内外研究现状 | 第12-16页 |
| ·国外研究现状 | 第12-14页 |
| ·国内研究现状 | 第14-16页 |
| ·现有研究工作的不足 | 第16-17页 |
| ·本文主要工作 | 第17-18页 |
| ·本文组织结构 | 第18-19页 |
| 第2章 相关工作研究 | 第19-30页 |
| ·访问控制技术简述 | 第19-20页 |
| ·基本概念 | 第20-22页 |
| ·身份认证 | 第20页 |
| ·授权 | 第20页 |
| ·委托 | 第20-21页 |
| ·数字证书 | 第21页 |
| ·访问控制策略 | 第21页 |
| ·一致性验证器 | 第21-22页 |
| ·传统访问控制 | 第22-24页 |
| ·自主访问控制 | 第22-23页 |
| ·强制访问控制 | 第23-24页 |
| ·基于角色的访问控制 | 第24-27页 |
| ·基于角色的访问控制概述 | 第24页 |
| ·RBAC 模型 | 第24-26页 |
| ·ARBAC97 | 第26-27页 |
| ·自动信任协商 | 第27-29页 |
| ·自动信任协商概述 | 第27-28页 |
| ·自动信任协商与信任管理 | 第28-29页 |
| ·自动信任协商的访问控制策略 | 第29页 |
| ·小结 | 第29-30页 |
| 第3章 自动信任协商中的时间特性分析 | 第30-45页 |
| ·研究思路 | 第30页 |
| ·ATN 抽象模型 | 第30-31页 |
| ·死锁现象及拒绝服务攻击 | 第31-33页 |
| ·ATN 时间特性分析 | 第33-42页 |
| ·自动信任协商的时间阶段划分 | 第33-35页 |
| ·自动信任协商会话调度策略 | 第35-37页 |
| ·自动信任协商的时间约束 | 第37-39页 |
| ·时间点序列和时间区间的定义 | 第39-40页 |
| ·自动信任协商时间约束的语义 | 第40-42页 |
| ·死锁消除 | 第42-43页 |
| ·构造 ATN 时间自动机 | 第43页 |
| ·小结 | 第43-45页 |
| 第4章 安全策略的可满足性分析 | 第45-53页 |
| ·用图灵机对安全策略进行可满足性分析 | 第45-46页 |
| ·时间约束安全策略可满足性分析 | 第46-47页 |
| ·敏感属性保护策略可满足性分析 | 第47-48页 |
| ·与状态无关的敏感属性保护策略可满足性分析 | 第47-48页 |
| ·一般的敏感属性保护策略可满足性分析 | 第48页 |
| ·仿真实验 | 第48-52页 |
| ·系统模块划分 | 第49-50页 |
| ·实验场景 | 第50页 |
| ·实验结果 | 第50-52页 |
| ·小结 | 第52-53页 |
| 总结和展望 | 第53-55页 |
| 参考文献 | 第55-60页 |
| 致谢 | 第60-61页 |
| 附录A 攻读硕士期间发表的论文 | 第61-62页 |
| 附录B 攻读硕士期间参与的项目列表 | 第62页 |
