通信学报

• 学术论文 • 上一篇    下一篇

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

孙 奕,陈性元,杜学绘,雷 程   

  1. 1. 北京交通大学 计算机与信息技术学院,北京100044;2. 解放军信息工程大学 四院,河南 郑州 450004; 3. 数学工程与先进计算国家重点实验室,河南 郑州 450004;4. 解放军信息工程大学 三院,河南 郑州 450004
  • 出版日期:2014-12-25 发布日期:2014-12-15
  • 基金资助:
    国家重点基础研究发展计划(“973”计划)基金资助项目(2011CB311801);国家高技术研究发展计划(“863”计划)基金资助项目(2012AA012704);河南省科技创新人才计划基金资助项目(114200510001)

Method for trust analysis of exchange process behavior based on noninterference

  • Online:2014-12-25 Published:2014-12-15

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

Abstract: 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.

No Suggested Reading articles found!