论文部分内容阅读
现有的复杂网络计算环境中安全问题日益严峻。如何在不同实体间建立信任关系是建立可信计算环境的关键所在。利用可信证明技术能够为信任关系的建立和维护提供证据，但是，现有的可信证明方法存在证据获取不够及时的问题，并且依据证明方法建立信任关系的理论研究不足，针对这些问题提出一种基于主观逻辑的动态信任关系评估方法。首先，建立基于行为证明的信任关系评估模型；然后利用确定下推自动机DPDA（Deterministic Push Down Automata）描述程序的预期行为，通过虚拟机内省技术动态验证程序的实际行为是否与