一种信任链传递模型研究

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