%0 Journal Article
%T 一种信任链传递模型研究
%A 司丽敏
%A 蔡勉
%A 陈银镜
%A 郭颖？
%J 计算机科学
%D 2011
%X 通过度量应用程序及其动态库的完整性来保障应用的静态可信，并且分析有交互的应用之间的关系，建立了一种信任链传递模型来保障应用运行过程中的动态可信，从而构建可信的应用环境。并基于无千扰理论，将系统抽象为应用程序、动作和状态输出，形式化地定义了应用运行可信，给出应用运行可信的条件和性质，推出应用运行可信定理，并证明了基于该模型的应用环境可信判定定理。
%K 动态库
%K 信任链
%K 无干扰
%K 应用环境
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110917&flag=1