摘要
因为网络系统的异构性，以及个人对安全需求的不同，安全策略多样性可能导致的不一致和冲突现象使用安全策略分析成为必要，本文从命题逻辑的理论框架和分析算法对策略的一致性和变化影响分析，冲突检测。能够实现对安全策略自动分析服务。
Because of the heterogeneity of network systems and the difference sinsecurity needs of individuals,it isnecessary to use security policy analysis for inconsistencies and conflicts that may result from the diversity of security policies.In this paper,the theoretical framework and analysis algorithm of propositional logic are used to analyze the consistency and variation of policy,and conflict detection.It can automatically analyze the security policy.
关键词
安全策略
算法
检测
security strategy
algorithm
check
