论文部分内容阅读
针对当前远程证明技术存在证明粒度粗，不能实时监控平台行为和验证效率低等问题，提出一种基于实体行为的远程证明方案（RABEB）。RABEB根据安全属性需求定义细粒度的度量对象——实体，通过实时截获系统调用序列组合表征实体行为，将对平台可信性的证明转化为对系统调用序列组合可信性的证明。采用主成分分析法对系统调用序列频率矩阵进行降维处理，从而提高网络传输速度，并根据降维后的频率矩阵生成基于软件行为的Merkle哈希树，以达到提高验证效率的目的。