| 摘要 | 第1-9页 |
| ABSTRACT | 第9-18页 |
| 第1章 绪论 | 第18-27页 |
| ·研究背景及意义 | 第18-19页 |
| ·云计算可信服务 | 第19-20页 |
| ·相关研究综述 | 第20-24页 |
| ·云计算体系架构的研究与发展 | 第20-21页 |
| ·计算可信技术研究与发展 | 第21-23页 |
| ·形式化建模与验证技术的研究与发展 | 第23-24页 |
| ·本文的研究目标 | 第24-25页 |
| ·本文研究内容与结构安排 | 第25-27页 |
| 第2章 基于PETRI网的面向方面的云计算可信服务模型 | 第27-48页 |
| ·引言 | 第27页 |
| ·可信服务建模基础 | 第27-37页 |
| ·Petri网 | 第27-31页 |
| ·着色Petri网 | 第31-33页 |
| ·Petri网验证 | 第33-34页 |
| ·面向方面编程 | 第34-37页 |
| ·云计算可信服务模型 | 第37-46页 |
| ·计算可信服务建模及分析过程 | 第37-40页 |
| ·面向方面的云计算可信服务建模 | 第40-46页 |
| ·云计算可信服务模型的优点 | 第46-47页 |
| ·本章小结 | 第47-48页 |
| 第3章 基于证书的云计算可信服务的安全访问策略 | 第48-70页 |
| ·可信服务安全访问需求 | 第48-50页 |
| ·云应用面临的安全问题 | 第48页 |
| ·应用业务流程分析 | 第48-49页 |
| ·访问控制对云计算安全服务的影响 | 第49页 |
| ·面向方面在访问控制中的应用 | 第49-50页 |
| ·安全访问服务模型 | 第50-61页 |
| ·安全访问服务建模流程 | 第50-52页 |
| ·基于证书的安全访问需求分析 | 第52-53页 |
| ·基于证书的安全访问服务策略 | 第53-61页 |
| ·安全访问服务模型的验证与分析 | 第61-65页 |
| ·实例仿真验证与分析 | 第65-69页 |
| ·实例选择 | 第65-67页 |
| ·用户等级的影响 | 第67-68页 |
| ·可用服务资源的影响 | 第68-69页 |
| ·本章小节 | 第69-70页 |
| 第4章 云计算可信服务故障检测与定位 | 第70-85页 |
| ·信服务故障检测需求分析 | 第70-73页 |
| ·研究思路 | 第70-72页 |
| ·故障检测需求分析 | 第72-73页 |
| ·云计算可信服务故障检测和处理策略 | 第73-74页 |
| ·云计算可信服务故障检测模型构建 | 第74-77页 |
| ·理论验证分析 | 第77-80页 |
| ·故障检测性质 | 第77-78页 |
| ·故障检测模型验证分析 | 第78-80页 |
| ·物流云应用故障检测仿真分析 | 第80-83页 |
| ·物流云故障检测模型 | 第80-81页 |
| ·固定资源故障检测概率 | 第81-82页 |
| ·故障检测概率与资源可靠性之间的关系 | 第82-83页 |
| ·可信服务资源令牌获得概率 | 第83页 |
| ·本章小结 | 第83-85页 |
| 第5章 面向方面的云计算可信服务测试方法 | 第85-107页 |
| ·云计算服务测试相关研究 | 第86-88页 |
| ·计算可信服务的测试架构 | 第88-90页 |
| ·CTN模型在云计算服务测试中的应用 | 第89-90页 |
| ·测试用例模型构建 | 第90-94页 |
| ·核心关注点建模 | 第90-91页 |
| ·测试用例实施模型 | 第91-94页 |
| ·计算环境中策略用例选择策略 | 第94-96页 |
| ·验证分析 | 第96-100页 |
| ·测试网模型的正确性分析 | 第96-99页 |
| ·测试用例选择策略的正确性分析 | 第99-100页 |
| ·实例仿真分析 | 第100-105页 |
| ·实例模型 | 第100-103页 |
| ·面向方面云计算可信服务测试模型验证实验 | 第103-104页 |
| ·用例选择策略的验证 | 第104-105页 |
| ·本章小结 | 第105-107页 |
| 第6章 总结 | 第107-112页 |
| ·研究工作总结 | 第107-109页 |
| ·本文的主要创新点 | 第109-110页 |
| ·研究展望 | 第110-112页 |
| 参考文献 | 第112-121页 |
| 主持和参与科研项目 | 第121-122页 |
| 发表论文 | 第122-123页 |
| 致谢 | 第123页 |