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

Method for trust analysis of exchange process behavior based on noninterference

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

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.