一种信任链传递模型研究

摘要：

通过度量应用程序及其动态库的完整性来保障应用的静态可信,并且分析有交互的应用之间的关系,建立了一种信任链传递模型来保障应用运行过程中的动态可信,从而构建可信的应用环境.并基于无干扰理论,将系统抽象为应用程序、动作和状态输出,形式化地定义了应用运行可信,给出应用运行可信的条件和性质,推出应用运行可信定理,并证明了基于该模型的应用环境可信判定定理.

关键词：动态库、信任链、无干扰、应用环境

所属期刊栏目：38

分类号：TP316(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划9732007CB311100

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：79-81,107