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

作     者：王永亮 陈性元 吴蓓 代向东 彭军 WANG Yong-liang;CHEN Xing-yuan;WU Bei;DAI Xiang-dong;PENG Jun

作者机构：解放军信息工程大学电子技术学院郑州450004 

基　　金：国家"863"计划基金资助项目(2006AA701416) 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2009年第35卷第4期

页      码：134-136页

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

主 题 词：安全策略 多维整数空间 冲突检测 冲突消解 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2009.04.047

馆 藏 号：203363641...