检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]解放军理工大学指挥信息系统学院研究生2队,江苏南京210007 [2]解放军理工大学指挥信息系统学院
出 处:《军事通信技术》2016年第1期17-22,共6页Journal of Military Communications Technology
摘 要:安全策略是系统安全管理的基础,由于系统环境的复杂性在策略配置中不可避免产生冲突,如何有效的检测与消解策略冲突是应用安全策略的关键。文章分析现有安全策略冲突检测方法的不足,提出了一种一般性的策略描述方法,根据造成冲突的不同原因将冲突进行分类并给出冲突的形式化描述。针对不同类型的冲突,从静态和动态的角度出发,提出相应的冲突检测与消解算法,实现自动对安全策略进行冲突检测与消解,为安全策略的进一步实用提供了必要的保障。Security policy is the basis of system security management.Conflict is unavoidable in the system environment because of its complexity.How to detect and eliminate the conflicts is the key to applying security policy.The shortcomings of the existing security policy conflict detection method were analyzed,ageneral formal description of policy proposed,the conflict classified,according to the different causes of the conflict,and the formal description of each conflict given.In view of the different types of conflict,the corresponding conflict detection and resolution algorithm was put forward in the perspective of static and dynamic analysis.The automatic detection and resolution security policy conflict was implemented.It provides the necessary guarantee for the further practical security policy.
分 类 号:TP393[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:13.59.193.179