夏庆勋,庄毅.一种基于局部性原理的远程验证机制[J].计算机科学,2018,45(4):148-151, 162
一种基于局部性原理的远程验证机制
Remote Attestation Mechanism Based on Locality Principle
投稿时间:2017-01-07  修订日期:2017-03-13
DOI:10.11896/j.issn.1002-137X.2018.04.024
中文关键词:  可信计算,远程证明,Merkle哈希树,局部性原理
英文关键词:Trusted computing,Remote attestation,Merkle Hash tree,Locality principle
基金项目:本文受国家自然科学基金(61572253),航空科学基金(2016ZC52030)资助
作者单位
夏庆勋 南京航空航天大学计算机科学与技术学院 南京211106 
庄毅 南京航空航天大学计算机科学与技术学院 南京211106 
摘要点击次数: 241
全文下载次数: 168
中文摘要:
      为了提高嵌入式平台配置远程证明方案的效率,在基于Merkle哈希树存储结构的基础上,结合程序的局部性原理,考虑平台下程序验证的时间特性,对存储程序模块完整性度量值的数据结构进行了改进,提出了一种基于局部性原理的远程验证机制。实验分析表明,新的机制可以减少构造存储度量日志的时间消耗,缩短应用程序实时认证路径的长度,提高平台配置远程证明的验证效率。
英文摘要:
      In order to improve the efficiency of the remote configuration attestation scheme,combining the locality principle of the program with the storage structure of Merkle Hash tree,the data structure used to store the Hash values of the program module integrity was improved,and a remote proof mechanism based on locality principle was proposed.Experiments show that the new mechanism can improve the efficiency of the remote configuration attestation by redu-cing the consumption of constructing stored measurement logs and shortening the length of authentication paths.
查看全文  查看/发表评论  下载PDF阅读器