可信计算支撑软件的分析与测试研究
| 摘要 | 第1-10页 |
| Abstract | 第10-17页 |
| 1 绪论 | 第17-30页 |
| ·引言 | 第17-18页 |
| ·可信计算的研究进展 | 第18-24页 |
| ·信计算的起源 | 第18-19页 |
| ·中国的可信计算发展 | 第19-20页 |
| ·可信计算的相关概念 | 第20-24页 |
| ·可信计算支撑软件 | 第24-26页 |
| ·TCG的可信计算支撑软件 | 第24页 |
| ·中国的可信计算支撑软件 | 第24-26页 |
| ·选题背景及意义 | 第26-29页 |
| ·背景 | 第26-28页 |
| ·应用场景和意义 | 第28-29页 |
| ·本文的组织结构 | 第29-30页 |
| 2 基于通用准则的安全功能需求分析 | 第30-44页 |
| ·研究背景 | 第30-35页 |
| ·信息安全评估准则的发展 | 第30-31页 |
| ·通用准则的主要内容 | 第31-32页 |
| ·通用准则的安全要素 | 第32-33页 |
| ·通用准则的相关研究 | 第33-34页 |
| ·软件需求的相关研究 | 第34-35页 |
| ·可信支撑软件的安全需求分析 | 第35-43页 |
| ·可信计算平台的安全功能与安全保证 | 第35-36页 |
| ·可信计算支撑软件安全功能划分 | 第36-43页 |
| ·本章小结 | 第43-44页 |
| 3 基于模型检测的软件分析 | 第44-56页 |
| ·研究背景 | 第44-47页 |
| ·软件静态分析相关研究 | 第44-46页 |
| ·模型检测相关研究 | 第46-47页 |
| ·计算树逻辑 | 第47-48页 |
| ·NuSMV描述语言 | 第48-51页 |
| ·可信计算支撑软件的分析 | 第51-54页 |
| ·可信计算支撑软件分析框架 | 第51页 |
| ·可信计算支撑软件的分析方法 | 第51-54页 |
| ·实验结果 | 第54-55页 |
| ·本章小结 | 第55-56页 |
| 4 面向路径覆盖的软件测试 | 第56-85页 |
| ·研究背景 | 第56-61页 |
| ·软件和软件测试的定义 | 第56-57页 |
| ·软件测试的分类 | 第57-61页 |
| ·程序图的构造 | 第61-66页 |
| ·分支节点的分析及处理 | 第61-62页 |
| ·三叉树数据结构 | 第62-66页 |
| ·完整路径覆盖 | 第66-72页 |
| ·完整路径的定义 | 第66-68页 |
| ·完整路径的遍历算法 | 第68-70页 |
| ·算法的比较 | 第70-72页 |
| ·测试用例的动态执行 | 第72-84页 |
| ·反射机制概述 | 第72-73页 |
| ·基于反射机制的可信计算支撑软件测试 | 第73-77页 |
| ·实验结果 | 第77-84页 |
| ·本章小结 | 第84-85页 |
| 5 可信计算支撑软件的应用实现 | 第85-102页 |
| ·研究背景 | 第85-90页 |
| ·可信计算支撑软件的规范 | 第85-89页 |
| ·可信计算支撑软件的产品 | 第89-90页 |
| ·可信计算支撑软件安全机制 | 第90-94页 |
| ·可信计算平台的模式 | 第90-91页 |
| ·可信边界和私有边界 | 第91-92页 |
| ·角色划分 | 第92-93页 |
| ·密钥管理 | 第93页 |
| ·授权机制增强 | 第93-94页 |
| ·基本安全功能划分 | 第94页 |
| ·应用实现 | 第94-96页 |
| ·实验结果 | 第96-101页 |
| ·本章小结 | 第101-102页 |
| 6 结束语 | 第102-104页 |
| ·主要贡献 | 第102页 |
| ·进一步工作 | 第102-104页 |
| 参考文献 | 第104-113页 |
| 附录A 缩略语汇编 | 第113-114页 |
| 攻读博士学位期间发表的论文和专利 | 第114-115页 |
| 攻读博士学位期间参与或主持的科研工作 | 第115-116页 |
| 致谢 | 第116-117页 |
