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

？针对目前数据安全交换中缺乏对交换行为的动态监管，无法保障数据交换的安全实施问题，提出一种基于无干扰理论的交换行为可信性分析方法。该方法首先从交换进程的角度对交换行为进行形式化建模，然后将无干扰理论与可信计算的思想相结合，提出不同阶段、不同模式下交换行为可信的约束规则，交换行为可信性判定定理及安全证明，最后结合一个具体的应用示例说明该方法的可用性。