| 中文摘要 | 第3-4页 |
| 英文摘要 | 第4-5页 |
| 1 绪论 | 第8-16页 |
| 1.1 研究背景与意义 | 第8-13页 |
| 1.1.1 云计算 | 第9-12页 |
| 1.1.2 外包计算 | 第12页 |
| 1.1.3 安全云计算外包协议 | 第12-13页 |
| 1.2 外包计算技术研究现状 | 第13-15页 |
| 1.3 主要贡献及内容安排 | 第15-16页 |
| 2 基础知识介绍 | 第16-27页 |
| 2.1 研究涉及的相关概念 | 第16-17页 |
| 2.1.1 方阵与方阵幂 | 第16页 |
| 2.1.2 克罗内克函数 | 第16页 |
| 2.1.3 随机置换 | 第16-17页 |
| 2.2 可验证安全云计算外包模型 | 第17-19页 |
| 2.2.1 单云外包模型 | 第17-18页 |
| 2.2.2 双云外包模型 | 第18-19页 |
| 2.3 可验证安全云计算外包协议构成 | 第19页 |
| 2.4 可验证安全云计算外包协议特性 | 第19-20页 |
| 2.5 研究涉及的几个算法 | 第20-24页 |
| 2.5.1 随机置换构造算法 | 第20-21页 |
| 2.5.2 可逆方阵及其逆矩阵构造算法 | 第21-22页 |
| 2.5.3 方阵幂计算算法 | 第22-24页 |
| 2.6 本论文研究相关的几项证明 | 第24-26页 |
| 2.7 本章小结 | 第26-27页 |
| 3 方阵幂的传统解法 | 第27-32页 |
| 3.1 归纳法求解方阵幂 | 第27页 |
| 3.2 二项式定理法 | 第27-28页 |
| 3.3 乘法结合律法 | 第28-29页 |
| 3.4 相似对角化法 | 第29-30页 |
| 3.5 Hamilton-Cayley定理法 | 第30页 |
| 3.6 初等变换法 | 第30-31页 |
| 3.7 分块对角矩阵法 | 第31页 |
| 3.8 本章小结 | 第31-32页 |
| 4 方阵幂可验证安全云计算外包协议 | 第32-40页 |
| 4.1 问题描述 | 第32页 |
| 4.2 单云外包模型下的方阵幂可验证安全云计算外包协议 | 第32-35页 |
| 4.2.1 协议内容描述 | 第33-34页 |
| 4.2.2 协议要素分析 | 第34-35页 |
| 4.3 双云外包模型下的方阵幂可验证安全外包云计算协议 | 第35-39页 |
| 4.3.1 协议内容描述 | 第36-37页 |
| 4.3.2 协议要素分析 | 第37-39页 |
| 4.4 本章小结 | 第39-40页 |
| 5 仿真实验结果与分析 | 第40-51页 |
| 5.1 仿真实验平台介绍 | 第40页 |
| 5.2 仿真实验中的参数定义 | 第40-41页 |
| 5.3 S-SMP协议实验结果与分析 | 第41-43页 |
| 5.3.1 S-SMP协议仿真实验结果 | 第41-42页 |
| 5.3.2 S-SMP协议仿真实验结果分析 | 第42-43页 |
| 5.4 D-SMP协议实验结果与分析 | 第43-45页 |
| 5.4.1 D-SMP协议仿真实验结果 | 第43-44页 |
| 5.4.2 D-SMP协议仿真实验结果分析 | 第44-45页 |
| 5.5 单/双云模型下外包结果综合分析 | 第45-50页 |
| 5.5.1 指数固定方阵阶数变化型方阵幂外包结果分析 | 第45-46页 |
| 5.5.2 方阵阶数固定指数变化型方阵幂外包结果分析 | 第46-50页 |
| 5.6 本章小结 | 第50-51页 |
| 6 结语与展望 | 第51-53页 |
| 6.1 结语 | 第51页 |
| 6.2 展望 | 第51-53页 |
| 致谢 | 第53-54页 |
| 参考文献 | 第54-57页 |
| 附录 A. 作者在攻读学位期间发表的论文目录 | 第57页 |
