计算机工程 ›› 2009, Vol. 35 ›› Issue (4): 134-136.doi: 10.3969/j.issn.1000-3428.2009.04.047

• 安全技术 • 上一篇    下一篇

基于多维整数空间的安全策略冲突检测与消解

王永亮,陈性元,吴 蓓,代向东,彭 军   

  1. (解放军信息工程大学电子技术学院,郑州 450004)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-02-20 发布日期:2009-02-20

Security Policy Conflict Detection and Resolution Based on Multidimensional Integer Space

WANG Yong-liang, CHEN Xing-yuan, WU Bei, DAI Xiang-dong, PENG Jun   

  1. (Institute of Electronic Technology, PLA Information Engineering University, Zhengzhou 450004)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-02-20 Published:2009-02-20

摘要: 针对当前大部分安全策略冲突检测与消解算法缺少灵活性和扩展性等缺点,提出一种基于多维整数空间的安全策略形式化描述方法,在此基础上设计了一种可扩展的安全策略冲突检测与消解算法,并证明其正确性,设计并实现能够自动对安全策略进行冲突检测与消解的工具SPCDRT。

关键词: 安全策略, 多维整数空间, 冲突检测, 冲突消解

Abstract: Due to the lack of flexibility and extendability of the security policy conflict detection and resolution algorithms, this paper proposes a security policy specification based on multidimensional integer space. An algorithm based on the specification is proposed, the correctness of the algorithm is proved and the complexity is analyzed. The automatic Security Policy Conflict Detection and Resolution Tool(SPCDRT) is designed and implemented.

Key words: security policy, multidimensional integer space, conflict detection, conflict resolution

中图分类号: