Security Policy Conflict Detection and Resolution Based on Multidimensional Integer Space
Wang Yong-liang, Xingyuan Chen, Dai Xiangdong, Jun Peng · Jisuanji gongcheng · 2009
【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