基于无干扰理论的交换行为可信性分析方法  

Method for trust analysis of exchange process behavior based on noninterference

作　　者：孙奕[1,2,3] 陈性元[4] 杜学绘[2,3] 雷程[4] 

机构地区：[1]北京交通大学计算机与信息技术学院,北京100044 [2]解放军信息工程大学四院,河南郑州450004 [3]数学工程与先进计算国家重点实验室,河南郑州450004 [4]解放军信息工程大学三院,河南郑州450004

出　　处：《通信学报》2014年第12期144-152,共9页Journal on Communications

基　　金：国家重点基础研究发展计划("973"计划)基金资助项目(2011CB311801);国家高技术研究发展计划("863"计划)基金资助项目(2012AA012704);河南省科技创新人才计划基金资助项目(114200510001)~~

摘　　要：针对目前数据安全交换中缺乏对交换行为的动态监管,无法保障数据交换的安全实施问题,提出一种基于无干扰理论的交换行为可信性分析方法。该方法首先从交换进程的角度对交换行为进行形式化建模,然后将无干扰理论与可信计算的思想相结合,提出不同阶段、不同模式下交换行为可信的约束规则,交换行为可信性判定定理及安全证明,最后结合一个具体的应用示例说明该方法的可用性。Aiming at the problem of dynamic data security exchange behavior cannot be controlled,methods for trusted analysis of exchange process behavior based on noninterference are proposed.First,the exchange behavior model is formalized from the perspective of the exchange process.Then,the exchange behavior trust constraint rules,exchange behavior trust judgment theorem and security proof are given in different stages and different mode.Finally,a concrete application example shows the availability of the method.

关 键 词：无干扰策略 受控交换 进程行为 可信 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]