声明
致谢
摘要
1 绪论
1.1 研究背景
1.2 研究现状
1.2.1 云计算中信息流安全研究现状
1.2.2 无干扰模型研究现状
1.2.3 架构细化研究现状
1.3 主要工作与创新点
1.4 论文结构
2.1 概述
2.2 基础定义及无干扰模型定义
2.2.1 purge函数
2.2.2 非传递purge函数
2.2.3 ta函数
2.2.4 to函数
2.2.5 ito函数
2.2.6 len函数及等价动作序列定义
2.3 无干扰模型例子
2.3.1 TO安全但非P安全例子
2.3.2 P安全例子
2.3.3 ITO安全但非TO安全例子
2.4 无干扰模型的特性
2.4.1 P安全模型的特性
2.4.2 IP安全模型的特性
2.4.3 TA安全模型的特性
2.3.4 TO安全模型的特性
2.3.5 ITO安全模型的特性
2.5 本章小结
3.1 概述
3.2 IP安全与TA安全例子
3.3 IP安全与TA安全等价性分析与证明
3.3.1 函数ipurge和函数ta关系分析
3.3.2 IP安全与TA安全的等价性
3.3.3 模型间转换条件应用例子
3.4 本章小结
4 架构细化无干扰属性保持方法及其云中应用
4.1 概述
4.2 架构细化基础
4.3 细化规则和定理
4.3.1 传递架构细化定理
4.3.2 非传递架构细化定理
4.4 云计算架构细化实例
4.5 本章小结
5.1 概述
5.2 云计算中无干扰模型
5.2.1 并发云计算架构中的无干扰模型
5.2.2 并发与异步混合的云计算架构中的无干扰模型
5.3 扩展定理及判定算法
5.3.1 CP安全扩展定理及判定算法
5.3.2 CIP安全扩展定理及判定算法
5.3.3 CTA安全扩展定理及判定算法
5.4 本章小结
6 结论
6.1 本文主要贡献
6.2 进一步的研究方向
参考文献
作者简历及攻读博士学位期间取得的研究成果
学位论文数据集