基于无干扰理论的信任链传递模型

针对现有的信任链传递模型可用性不强、缺乏将信任链扩展到网络环境的缺点,提出了一种新的基于无干扰理论的信任链传递模型。该模型将系统抽象为进程、动作和执行,从可信根出发,通过度量程序及其动态库完整性来保证进程静态可信；分析交互进程之间的关系,利用无干扰理论判定其合法性；通过对接入终端的可信度量,将信任链扩展到整个网络系统。最后给出了相应的形式化定义及安全性证明。

Trust Chain Transfer Model Based on Non-interference Theory

As the existing trust chain transfer model is lack of availability and has the disadvantage of extending the credibility of the trust chain to the network system,a new model of trust chain transfer based on non-interference theory was proposed.The model abstracts the system to processes,actions and implementation.The model measures the integrity of static process and dynamic library to ensure the static process credible,uses non-interference theory analysis of the relationship between the interactive processes to determine its legitimacy,and extends the chain of trust to the whole network system through measuring the credibility of the access terminal.Finally,the corresponding formal definition and security proof were given.