基于无干扰理论的信任链传递模型-计算机科学.pdfVIP

Vo 1. 43 No. 10 第 43 卷第10 期 计算机科学 2016 年 10 月 Computer Science Oct 2016 基于无干扰理论的信任链传递模型 陈亮1 曾荣仁1 李峰1 ， 2 杨伟铭1 (中国人民解放军后勤科学研究所 北京 100071) 1 (北京航空航天大学 北京 10019 1) 2 摘 要 针对现有的信任链传递模型可用性不强、缺乏将信任链扩展到网络环境的缺点，提出了一种新的基于元干扰 理论的信任链传递模型。该模型将系统抽象为进程、动作和执行，从可信根出发，通过度量程序及其动态库完整性来 保证进程静态可信;分析交互进程之间的关系，利用元干扰理论判定其合法性;通过对接入终端的可信度量，将信任链 扩展到整个网络系统。最后给出了相应的形式化定义及安全性证明。 关键词 元干扰理论，进程可信，系统运行可信，安全接入可信 中图法分类号 TP393 文献标识码 A 001 10. 11896/j. issn. 1002-137叉 2016.10.026 Trust Chain Transfer Model ßased on Non-interference Theory 1 1 1 1 CHEN Liang ZENG Rong-ren LI Feng ,2 YANG Wei-ming CLogistics Science Institute of PLA ,Beijing 100071 ,China)1 CBeihang University ,Beijing 100191 ,China)2 Abstract 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 integ- rity 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 deterτnine 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. Keywords Non-interference theory ,Process credible , System operation credible , Sec