一种信任链传递模型研究  

Research of a Trust Chain Transfer Model

作　　者：司丽敏[1] 蔡勉[1] 陈银镜[1] 郭颖[1] 

机构地区：[1]北京工业大学计算机学院,北京100124

出　　处：《计算机科学》2011年第9期79-81,107,共4页Computer Science

基　　金：国家重点基础研究发展计划973(2007CB311100)资助

摘　　要：通过度量应用程序及其动态库的完整性来保障应用的静态可信,并且分析有交互的应用之间的关系,建立了一种信任链传递模型来保障应用运行过程中的动态可信,从而构建可信的应用环境。并基于无干扰理论,将系统抽象为应用程序、动作和状态输出,形式化地定义了应用运行可信,给出应用运行可信的条件和性质,推出应用运行可信定理,并证明了基于该模型的应用环境可信判定定理。Based on measurement applications and its dynamic library to protect the integrity of the application of static credible,and analyzing the relation between interactive applications,this article established chain of trust of the transfer model,to protect applications running in the process of dynamic credible,to build reliable application environment.Based on the intransitive noninterference model,this article abstracted the system as applications,actions,states and outputs,and formally defined to run trusted applications.Application trusted theorem was verified formally.Furthermore,by associating application with system state,the definition and the theorem of application environment trusted were proposed.

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

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]