一种基于软件源代码的远程证实方法

本文提出一种基于软件源代码的远程证实(Source-Code Oriented Attestation,SCOA)框架,使客户自己编译的应用程序可以在TCG证实体系结构中验证。在SCOA方法中,安全属性和应用程序的源码绑定在一起,而不是与二进制可执行文件绑定在一起。可信编译系统(Trusted Building System,TBS)生成一条证据链来记录编译过程,因此证实方可以判定与之交互的二进制码是否编译自某一组特定的源代码。进一步,利用颁发给源码集合的安全属性证书,证实方可以判定二进制码的可信属性。最后,在这篇论文中,我们基于虚拟化的方法提出了一种可信编译系统。

法治护航网络安全 打造持续免疫环境

备受关注的《中华人民共和国网络安全法》于2017年6月1日正式施行,网络安全由此有法可依,网络安全保障进入全新时代。在'互联网+'的大环境下,数据平台的安全问题日渐突显。在新时期的数据平台中,海量数据通常依赖他方实施处理。数据在被解密后处理时,将受控于他方数据处理者。