10.3969/j.issn.1000-3428.2009.04.047
基于多维整数空间的安全策略冲突检测与消解
针对当前大部分安全策略冲突检测与消解算法缺少灵活性和扩展性等缺点,提出一种基于多维整数空间的安全策略形式化描述方法,在此基础上设计了一种可扩展的安全策略冲突检测与消解算法,并证明其正确性,设计并实现能够自动对安全策略进行冲突检测与消解的工具SPCDRT.
安全策略、多维整数空间、冲突检测、冲突消解
35
TP393(计算技术、计算机技术)
国家"863"计划基金资助项目2006AA701416
2009-04-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
134-136