可信计算语义证明模型的研究

针对现有的可信计算平台体系认证技术是静态的、一次性的,并不基于语义等问题,提出了语义远程认证抽象模型,该模型由代码特征化部件、安全监测部件、安全控制部件、应用接口部件、知识库组成。其中关键问题知识库采用离线创建规则的学习模式,供在线检测。

Research on Semantic Demonstration Model of Trusted Computing

In view of current problems of trusted computing platform system authentication techniques,such as Static,disposable,and not based on the semantics.This paper proposed semantic remote authentication abstract model.This model includes the code characteristics of component,the safety monitoring component,the safety control component and the knowledge base.The knowledge base of the key problem adopts off-line to create rules of the study,for its on-line tests.