%0 Journal Article
%T 基于无干扰理论的交换行为可信性分析方法
%A 孙奕
%A 陈性元
%A 杜学绘
%A 雷程
%J 通信学报
%D 2014
%X ？针对目前数据安全交换中缺乏对交换行为的动态监管，无法保障数据交换的安全实施问题，提出一种基于无干扰理论的交换行为可信性分析方法。该方法首先从交换进程的角度对交换行为进行形式化建模，然后将无干扰理论与可信计算的思想相结合，提出不同阶段、不同模式下交换行为可信的约束规则，交换行为可信性判定定理及安全证明，最后结合一个具体的应用示例说明该方法的可用性。
%U http://www.joconline.com.cn/CN/abstract/abstract151963.shtml