通信学报 ›› 2014, Vol. 35 ›› Issue (12): 144-152.doi: 10.3969/j.issn.1000-436x.2014.12.017

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

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

孙奕1,2,3,陈性元4,杜学绘2,3,雷程4   

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

Method for trust analysis of exchange process behavior based on noninterference

Yi SUN1,2,3,Xing-yuan CHEN4,Xue-hui DU2,3,Cheng LEI4   

  1. 1 School of Computer&Information Technology,Beijing Jiaotong University,Beijing 100044,China
    2 The Fourth College,PLA Information Engineering Universiry,Zhengzhou 450004,China
    3 State Key Laboratory of Mathematical Engineering and Advanced Computing,Zhengzhou 450004,China
    4 The Thind College,PLA Information Engineering University,Zhengzhou 450004,China
  • Online:2014-12-25 Published:2017-06-17
  • Supported by:
    The National Basic Research Program of China (973 Program);The National High Technology Research and Development Program of China (863 Program);Innovation Scientists and Technicians Troop Con-struction Projects of Henan Province

摘要:

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

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

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 for-malized from the perspective of the exchange process.Then,the exchange behavior trust constraint rules,exchange be-havior trust judgment theorem and security proof are given in different stages and different mode.Finally,a concrete ap-plication example shows the availability of the method.

Key words: noninterference policy, controlled exchange, process behavior, trust

No Suggested Reading articles found!