计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2009年
4期
134-136
,共3页
王永亮%陈性元%吴蓓%代向东%彭军
王永亮%陳性元%吳蓓%代嚮東%彭軍
왕영량%진성원%오배%대향동%팽군
安全策略%多维整数空间%冲突检测%冲突消解
安全策略%多維整數空間%遲突檢測%遲突消解
안전책략%다유정수공간%충돌검측%충돌소해
针对当前大部分安全策略冲突检测与消解算法缺少灵活性和扩展性等缺点,提出一种基于多维整数空间的安全策略形式化描述方法,在此基础上设计了一种可扩展的安全策略冲突检测与消解算法,并证明其正确性,设计并实现能够自动对安全策略进行冲突检测与消解的工具SPCDRT.
針對噹前大部分安全策略遲突檢測與消解算法缺少靈活性和擴展性等缺點,提齣一種基于多維整數空間的安全策略形式化描述方法,在此基礎上設計瞭一種可擴展的安全策略遲突檢測與消解算法,併證明其正確性,設計併實現能夠自動對安全策略進行遲突檢測與消解的工具SPCDRT.
침대당전대부분안전책략충돌검측여소해산법결소령활성화확전성등결점,제출일충기우다유정수공간적안전책략형식화묘술방법,재차기출상설계료일충가확전적안전책략충돌검측여소해산법,병증명기정학성,설계병실현능구자동대안전책략진행충돌검측여소해적공구SPCDRT.
