RBAC策略冲突及其检测算法的研究

针对RBAC模型在实施职责分离、最小特权等安全原则时引起的冲突问题,形式化定义5种RBAC策略冲突类型,分析策略冲突产生的原因,提出一种完整的策略冲突检测算法并进行仿真测试。结果表明,该算法能够有效检测定义的各类策略冲突,为RBAC策略冲突检测实施提供基础。     

一种ABAC静态策略冲突检测算法

在分布式计算环境下,传统基于属性的静态访问控制策略多存在扩展性差、难以实现等问题.针对上述问题,提出一种基于策略属性分解的冲突检测算法.该算法对策略属性进行分解,构造策略属性分解图,判断策略属性值之间的相交关系,根据静态策略冲突的定义进行策略冲突检测,从而提高策略冲突检测算法的可扩展性和易实现性.实验结果表明,该算法对静态策略冲突的检测率接近85％.     

检测排课冲突的SQL语句设计

学校培训对象类别多,排课容易冲突.通过统一课表数据格式,设置排课冲突排查策略.提出了直接用检测排课冲突的SQL语句,跨校区授课时限冲突检测的方法,能迅速检测出各类课表内部和课表之间的排课冲突.     

一种快速的防火墙规则冲突检测算法*

针对目前常用的冲突检测算法效率低下这一实际情况,提出了一种高效的冲突检测算法FRCD.该算法为每一维规则分量构造两棵二叉树,使得检测速度大大加快.实验表明,其检测速度快于常见算法.     

一种针对物联网智能系统的规则冲突检测方法

物联网系统架构的核心是逻辑控制器,逻辑控制器中使用规则控制业务逻辑,减少物联网系统的开发、维护成本,提高物联网设备的灵活性.但随着物联网系统的规模扩大,规则间的关系变得复杂,从而可能产生规则冲突.为避免规则发生冲突,一些研究者提出了规则冲突检测方法.但是,以往的规则冲突检测方法还存在规则冲突类型分析不全面、检测结果准确性较低的问题.为此提出一种针对物联网系统控制逻辑的形式化规则冲突检测方法 (formal rule conflict detection,FRCD).该方法首先形式化定义规则及规则冲突,其中将规则定义为控制主体、动作、触发条件、符号的组合;然后根据规则对系统的影响以及规则的结构特征,总结出7类规则冲突类型;最后设计规则冲突检测的算法,并介绍规则冲突检测的详细过程.在2个物联网系统上开展实验,与已有的3种典型的物联网规则冲突检测方法进行对比.这3种方法分别是基于用户、触发器、环境实体和作动器的冲突检测方法 (user, triggers, environment entities, and actuators, UTEA)、基于Web语义的策略冲突检测方法 (semanti...     

基于交互式方法的飞行器短期冲突检测模型

为了提高航空器的短期冲突检测的准确性和可靠性,对传统算法与模型进行了研究,在此基础上设计了具有机动检测的交互式UKF算法,提出了短期冲突检测模型。该模型对飞行器的航迹进行了分析,然后对飞行器的冲突域检测、冲突脱离、机动检测和冲突确认进行了讨论,并根据该模型设计了冲突检测算法。仿真结果表明,该算法能够精确、实时的检测飞行器的航迹,克服了传统算法的冲突盲警告和轨迹不变问题,提高了冲突预警的准确性,为管制员提供了可靠的保障。     

基于描述逻辑的策略冲突检测方法研究及实现

采用基于策略的方法对安全管理、服务质量等进行监管,已经得到广泛应用。本文提供了一种基于描述逻辑的策略建模方式,将策略定义为两种类型,即授权策略和义务策略;建立策略相关的概念,结合概念之间的关系得到基于描述逻辑的策略模型。策略冲突会导致不一致的系统行为,是策略分析最重要的内容。本文深入研究了不同类型的策略 略冲突,在所建立的模型基础上提出了一套基于描述逻辑的策略冲突检测方法,并使用推理机Racer举例验证了这种检测方法。     

MPLS网络中基于策略的接纳控制模型(MPBMC)研究

自基于策略的管理技术被IETF提出以来,研究人员和管理人员均发现基于策略的技术更适合实际网络应用的需要.基于策略的接纳控制技术(PBMC)也被提出,但已提出的PBMC技术并没有考虑MPLS网络设计和实现的具体要求,有些思想甚至与MPLS网络的设计思想有冲突.对PBMC和PBNM技术及其在MPLS网络中的应用进行研究,提出MPBMC和MMPBMC模型,并对MBPMC/MMPBMC模型中的策略冲突检测和冲突解决进行研究.     

网络安全策略冲突分类及自动检测与恢复

在分析网络安全策略冲突研究现状的基础上,针对策略冲突分类不完善及现在安全策略冲突检测方法的不足,指出由于网络策略之间的规则依赖语义和规则相互作用,一个成功的网络安全系统配置需要全面分析所有网络安全设备的策略配置以避免策略冲突和矛盾.本文首先描述了过滤规则之间所有可能的关系,然后对基于过滤的网络安全策略中的冲突进行全面分类,接着通过实验指出即使是专家系统管理员,产生这种冲突的可能性也很高,并提出了内部和外部访问列表策略冲突的自动检测与恢复模型来识别和矫正这些冲突,最后讨论了今后研究的方向.     

一种防火墙规则冲突检测算法

在入侵检测系统和状态检测防火墙等系统的应用中,规则冲突检测及冲突检测算法在计算机网络安全及服务质量方面起着至关重要的作用。文章首先对防火墙过滤规则进行了描述,然后对规则冲突进行了分类,在此基础上提出了一种规则冲突检测算法。     

一种安全策略的冲突检测与消解方法

安全策略是系统安全管理的基础。分布式环境的复杂性使策略配置中不可避免地存在冲突。如何有效地分析检测策略冲突并解决冲突是应用安全策略的关键。提出了一个极具一般性的安全策略形式化描述方法,并定义了安全策略描述要素间的逻辑关系;给出了安全策略间的冲突分类描述;针对不同的冲突类型给出了相应的冲突检测算法及消解方法。     

基于策略的管理综述

基于策略的管理是网络管理和分布式系统管理的一种最新的发展。文章首先介绍了基于策略管理的起源;然后对基于策略管理的研究现状进行综述,主要包括策略定义、体系结构、策略语言、策略冲突检测、策略的实现模型以及基于策略管理目前的进展情况6个方面;同时分析了目前基于策略管理技术中所存在的不足;最后指出了基于策略管理未来的发展方向。     

策略网管中规则冲突检测算法的研究

基于策略的网络管理系统中规则冲突检测是策略管理中的关键部分。多维范围查找算法提供了一种解决检测冲突的思路。设计其中几个子问题的实现技术是重点。进行动作序列有效性检测时,采用了图论知识,详细描述了检测过程并给出了代码实现。进行策略库一致性检测时,将策略规则分解成一些简单数据类型,结合实例加以说明,给出了相关类定义的框架。最后,分析了其时间和空间复杂度,并指出了规则冲突检测中一些可能的工作。     

策略网管与传统网管的结合研究

目前，实时应用已经进入到IP网络，IETF提出了策略网管的方案来解决这些实时应用带来的Qos网络管理问题。然而传统网管已经得到广泛应用，如何从传统网管向策略网管过渡成为必须解决的问题。目前对策略网管的研究工作主要集中在对策略规则的研究(包括策略建模，冲突检测等)和对策略网管的实现研究(包括系统结构，功能模块和策略信息传输协议等)，而缺乏与传统网管结合的研究。针对以上情况，将传统网管与策略网管在系统结构，功能等方面进行对比，提出在传统网管上增加策略输入接口，存储和层次转换功能模块，实现策略网管的方案。     

一种基于策略的网络管理结构方案

介绍了基于策略的网络管理的概念和当前的研究状况，在策略定义、冲突检测和系统安全问题等方面进行了讨论，提出了一种适合基于策略的网络管理的结构方案，并分析了该方案的合理性。     

网络安全策略求精一致性检测和冲突消解机制的研究

通过对基于策略的网络安全管理的研究,分析了现有网络安全策略冲突检测和消解方法存在的不足.基于策略求精的思想和安全策略冲突分类技术,建立基于策略的网络管理安全级模型,并用扩展的XACML语言加以描述.根据策略行为间的关系,采用知识推理技术,动态分层地对相应安全级策略进行一致性自动检测和实时冲突消解,使其具有良好的可重用性...     

空中交通管制自动化系统中飞行冲突概率解析算法的应用

由于空中交通管制指挥监测系统（ATCCMS）中航迹预估的不确定性,以它为基础的冲突探测就必须采用基于概率的算法,文中介绍了一个实用的求解冲突概率的解析算法,并用蒙特卡洛方法对它进行了验证,然后对飞行冲突概率的特性做了分析研究,描述了冲突概率应用于冲突报警和冲突求解的基本思想。     

基于模糊综合评价的协同环境下冲突量化研究

依据冲突管理的现状,分析了冲突管理系统的四个实质性阶段,给出了冲突管理过程的体系结构,并综合层次分析法和模糊综合评价法提出一种对冲突进行量化的方法.该方法用层次分析法对专家的判断结果进行处理,得出各层次冲突因素的相对权重,用多级模糊综合评价的数学模型对冲突状态进行评价,最终得到该协同环境下的冲突状态评价集,实现了冲突状态的量化.通过实例显示了该方法的可行性,为冲突管理的有效实施提供了技术支持.     

基于模糊综合评价的协同环境下冲突量化研究*

依据冲突管理的现状,分析了冲突管理系统的四个实质性阶段,给出了冲突管理过程的体系结构,并综合层次分析法和模糊综合评价法提出一种对冲突进行量化的方法。该方法用层次分析法对专家的判断结果进行处理,得出各层次冲突因素的相对权重,用多级模糊综合评价的数学模型对冲突状态进行评价,最终得到该协同环境下的冲突状态评价集,实现了冲突状态的量化。通过实例显示了该方法的可行性,为冲突管理的有效实施提供了技术支持。