| 致谢 | 第5-6页 |
| 摘要 | 第6-8页 |
| ABSTRACT | 第8-10页 |
| 1 绪论 | 第13-27页 |
| 1.1 研究背景 | 第13-17页 |
| 1.2 研究现状 | 第17-24页 |
| 1.2.1 计算中信息流安全研究现状 | 第17-19页 |
| 1.2.2 无干扰模型研究现状 | 第19-22页 |
| 1.2.3 架构细化研究现状 | 第22-24页 |
| 1.3 主要工作与创新点 | 第24-25页 |
| 1.4 论文结构 | 第25-27页 |
| 2 无干扰模型特性分析 | 第27-53页 |
| 2.1 概述 | 第27页 |
| 2.2 基础定义及无干扰模型定义 | 第27-35页 |
| 2.2.1 purge函数 | 第30页 |
| 2.2.2 非传递purge函数 | 第30-32页 |
| 2.2.3 ta函数 | 第32-33页 |
| 2.2.4 to函数 | 第33-34页 |
| 2.2.5 ito函数 | 第34页 |
| 2.2.6 len函数及等价动作序列定义 | 第34-35页 |
| 2.3 无干扰模型例子 | 第35-44页 |
| 2.3.1 TO安全但非P安全例子 | 第35-39页 |
| 2.3.2 P安全例子 | 第39-41页 |
| 2.3.3 ITO安全但非TO安全例子 | 第41-44页 |
| 2.4 无干扰模型的特性 | 第44-51页 |
| 2.4.1 P安全模型的特性 | 第44-46页 |
| 2.4.2 IP安全模型的特性 | 第46-48页 |
| 2.4.3 TA安全模型的特性 | 第48-50页 |
| 2.4.4 TO安全模型的特性 | 第50-51页 |
| 2.4.5 ITO安全模型的特性 | 第51页 |
| 2.5 本章小结 | 第51-53页 |
| 3 IP安全模型与TA安全模型转换方法 | 第53-77页 |
| 3.1 概述 | 第53-54页 |
| 3.2 IP安全与TA安全例子 | 第54-60页 |
| 3.3 IP安全与TA安全等价性分析与证明 | 第60-75页 |
| 3.3.1 函数ipurge和函数ta关系分析 | 第60-69页 |
| 3.3.2 IP安全与TA安全的等价性 | 第69-74页 |
| 3.3.3 模型间转换条件应用例子 | 第74-75页 |
| 3.4 本章小结 | 第75-77页 |
| 4 架构细化无干扰属性保持方法及其云中应用 | 第77-87页 |
| 4.1 概述 | 第77页 |
| 4.2 架构细化基础 | 第77-79页 |
| 4.3 细化规则和定理 | 第79-84页 |
| 4.3.1 传递架构细化定理 | 第80-82页 |
| 4.3.2 非传递架构细化定理 | 第82-84页 |
| 4.4 云计算架构细化实例 | 第84-86页 |
| 4.5 本章小结 | 第86-87页 |
| 5 云计算中的信息流安全模型 | 第87-107页 |
| 5.1 概述 | 第87-88页 |
| 5.2 云计算中无干扰模型 | 第88-99页 |
| 5.2.1 并发云计算架构中的无干扰模型 | 第88-95页 |
| 5.2.2 并发与异步混合的云计算架构中的无干扰模型 | 第95-99页 |
| 5.3 扩展定理及判定算法 | 第99-106页 |
| 5.3.1 CP安全扩展定理及判定算法 | 第99-101页 |
| 5.3.2 CIP安全扩展定理及判定算法 | 第101-103页 |
| 5.3.3 CTA安全扩展定理及判定算法 | 第103-106页 |
| 5.4 本章小结 | 第106-107页 |
| 6 结论 | 第107-111页 |
| 6.1 本文主要贡献 | 第107-108页 |
| 6.2 进一步的研究方向 | 第108-111页 |
| 参考文献 | 第111-121页 |
| 作者简历及攻读博士学位期间取得的研究成果 | 第121-125页 |
| 学位论文数据集 | 第125页 |