硬件辅助的软件可信性运行时检测技术(Hardware-assisted Runtime Verification of Software Trustworthiness)

Title: 硬件辅助的软件可信性运行时检测技术(Hardware-assisted Runtime Verification of Software Trustworthiness)

Speaker: 石文昌 (人民大学) (Wenchang Shi, Renmin University, P. R. China)

Time: 9th October 2014, 14:30

Venue: Seminar Room (334), Level 3, Building 5, Institute of Software, CAS

在计算技术的发展中，一方面，软件常常滞后于硬件，未能使硬件充分发挥作用，另一方面，软件在能力上存在固有的不足，比如，难以根本解决信息安全领域的机密性和完整性的基本问题，本报告讨论借助普通硬件的特性对软件可信性进行运行时检测的若干关键技术，此处的普通硬件指大众化的非专用硬件，包括TPM和CPU，我们从代码完整性、数据完整性和控制流完整性等方面考察软件的可信性，从主机系统、网络系统和云计算环境等角度探讨问题的解决途径。