Day-5 学习笔记--可信计算(5)

今天阅读的主要内容是武汉大学的博士学位论文《可信计算支撑软件的分析与测试研究》
对可信计算支撑软件（TSS）有了简单的了解。在阅读摘要和引言之后，发现并不是我这一阶段想要阅读的论文，因此暂且放下。
这篇论文的主要工作如下
共为六章，各章的内容安排简要描述如下：
第1章介绍论文的研究背景和主要工作。
第2章基于通用准则对可信计算支撑软件的安全功能需求进行了分析，提出了可信计算支撑软件的安全功能的划分。
第3章提出了一种基于模型检测理论可信计算支撑软件的分析方法，使用计算树逻辑对可信计算支撑软件的函数调用进行抽象描述，通过验证可信计算支撑软件函数的接口调用是否符合规范，从而确定平台中可信计算支撑软件在接口调用层面的正确性第4章提出了面向路径测试的完整路径遍历算法，运用反射机制实现测试用例的动态执行，完成了对可信计算支撑软件的功能一致性测试。
第5章抽取出可信计算支撑软件的基本安全功能集，提出一种可信计算支撑软件的实现方案，并实现了可信计算支撑软件的原型，该软件支持TCG规范定义的新一代TPM2.0，并能够对中国密码算法SM4提供调用支持第6章对全文进行总结并展望未来的工作。
然后阅读了《A Pratical Guide to TPM2.0》的第一章的相关内容，这一部分的内容主要是介绍TPM1.1b到TPM1.2和TPM1.2到TPM2.0两个版本的发展的一些变化