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

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

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

在入侵检测系统和状态检测防火墙等应用中,规则冲突检测及冲突解析算法是影响安全性及服务质量的关键。首先对防火墙过滤规则之间的关系进行了建模和分类。然后在过滤规则关系分类的基础上提出了一种冲突检测算法。该算法能够自动检测、发现规则冲突和潜在的问题,并且能够对防火墙过滤规则进行无冲突的插入、删除和修改。实现该算法的工具软件能够显著简化防火墙策略的管理和消除防火墙的规则冲突。

一种XACML规则冲突及冗余分析方法

基于属性的声明式策略语言XACML表达能力丰富,满足开放式环境下资源访问管理的复杂安全需求,但其自身缺乏对规则冲突检测、规则冗余分析的支持.文中利用规则状态思想描述分析了属性层次操作关联带来的多种冲突类型,在资源语义树策略索引基础上利用状态相关性给出规则冲突检测算法;利用状态覆盖思想分析造成规则冗余的原因,给出在不同规则评估合并算法下的冗余判定定理.仿真实验首先分析了冲突检测算法的运行效率;然后针对多种策略判定系统,验证了基于语义树的策略索引和冗余规则处理可以显著提高判定性能.

一种基于位向量交集运算的规则冲突检测算法

无论从报文分类算法自身还是从安全角度,规则冲突检测都是一个重要的研究课题.而目前常用的冲突检测算法效率较低.针对这一情况,在ASBV算法基础之上,提出了一种高效的冲突检测算法DBBV.同ASBV算法类似,DBBV算法也采用了分治思想和位向量技术.但与ASBV算法不同,在每一维规则分量处理过程中,DBBV算法只需要进行一次位向量交集运算,而ASBV算法需要进行多次位向量并集运算;DBBV算法支持以范围形式表示的规则集,而ASBV算法只支持以前缀形式表示的规则集.对DBBV算法的正确性进行了证明,测试表明其检测速度快于ASBV算法.

一种基于切割映射的规则冲突消除算法

防火墙规则冲突不仅使规则集变得难于管理,而且会影响报文分类的效率.现有的规则冲突消除算法不能完全消除冲突.针对这一情况,从计算几何角度对规则冲突进行了分析,提出了一种基于切割映射的冲突消除算法.该算法对规则冲突进行了详细的分类,并根据不同的类型消除冲突.算法以两条冲突规则为基本处理对象,在其冲突消除过程中,顺序切割优先级较低的规则的每一维分量.理论分析和测试表明,算法达到了只需增加少量规则即能彻底消除冲突的目的.

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

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

儿童对愿望-规则冲突情境下他人情绪的理解

用设置故事情境的方法研究了儿童对愿望-规则冲突情境下他人情绪的理解。结果表明,在愿望和规则冲突情境故事条件下,随着年龄的增长,儿童更多地作出对他人的愿望和情绪不匹配的情绪预测,7岁儿童已达到成人水平;7岁相对于4、5、6岁儿童更多地提供混合情绪预测。随着年龄的增长,儿童越来越能认识到规则、预期的结果对他人情绪的影响。规则的来源影响儿童对他人情绪的理解,相对于内部规则,4、5岁儿童更多地将消极情绪归于违背外部规则的人,7岁和成人更多地将消极情绪归于遵守外部规则的人。

“人本”语境下的规则冲突与冲突规则

"人本相同"是国际社会公认的普世价值,但事实上的"人本不同"造成了各国民商事法律规定的冲突。"人本"语境下的冲突法应尊重人的价值,维护人的权利,重视人的发展,以促进全球范围内民商事活动的顺利进行、物质资源的合理配置、人类社会的和谐共存。我国《涉外民事关系法律适用法》以"人本"思想为价值导向,多采双边冲突规则,坚持内外法律平行,注重冲突法的实质正义,平等保护内外国当事人的合法权益,体现了"以人为本"的科学发展观,为构建和谐国际民商事秩序保驾护航。

分布式SDN控制器的规则冲突解决方案

分布式SDN控制器系统已经成为当下研究热点,但分布式的架构也给SDN带来了许多新的安全挑战,其中一个严峻的挑战就是如何在分布式的架构下有效地检测和解决由动态应用产生的潜在的规则冲突。文章通过对传统单控制器下的规则冲突解决方案FortNox的研究,提出了一种分布式SDN控制器系统下的规则冲突解决方案。该方案通过将FortNox扩展到分布式系统中,并添加基于端到端路径的控制器规则冲突解决机制,同时增加新控制器的自举过程,从而解决分布式系统中的规则冲突。仿真实验结果表明,该方案不但可以在分布式系统中实时检测规则冲突,而且当控制器上的恶意程序试图通过插入规则的方式绕开安全应用的规则时,该方案也可以将其有效阻止。

一种分布式防火墙规则冲突的检测算法

为解决分布式防火墙中因规则冲突而导致策略异常问题,提出了一种基于XML的DFW策略异常的发现算法;该算法在分布式防火墙系统中,对于处在不同防火墙策略中的每条规则,设计一棵单根结点的树来表示分布式防火墙策略,即策略树(Policy Tree),然后通过集合全部的策略树,完成防火墙之间策略异常的发现过程;通过对算法的模拟运行,发现该算法在速度性能和可伸缩性方面较其他算法有很大的改进。

嵌入式防火墙规则冲突检测算法的实现

在嵌入式状态检测防火墙应用中,规则冲突检测是影响系统安全及服务质量的关键。由于嵌入式系统受系统资源制约,基于文本的防火墙规则检测较基于数据库完整性检查的规则冲突检测更灵活、实用。文章首先对iptables防火墙管理程序及其脚本的语法规则进行介绍;然后完成基于文本的防火墙规则检测算法的实现,最后对算法性能进行了分析。

法治视野下的规则冲突研究

随着民主政治的发展,日常的政治活动中已经形成了严密的规则,国家权力的运行在规则的框架内进行,既依赖于这些规则的实施,又受到其严格控制。在法治民主的条件下,该规则指的是法治规则,政治主体之间在法治规则的框架下展开可控的、非暴力的冲突,此时的政治冲突被称为规则冲突。可以说规则冲突是法治民主的典型形态,其不仅确保了政治冲突活动的规则性与合理性,也在很大程度上避免了政治冲突因行为不当或失控而形成暴力政治冲突的可能性,是发现和传播政治真理所必不可少的。在法治的视野下对规则冲突加以研究,探索建立规则冲突的政治机制,不仅可以打破冲突对峙的僵局,还可以降低政治运行过程中所耗费的交易成本和安全成本。

一种基于智能家居的规则冲突避免机制

将规则系统引入智能家居平台很好地解决了将控制逻辑与程序代码分离的问题,用户可以根据需求方便的添加修改规则。但是随着智能家居系统的不断扩大,系统设备的增多以及带来的用户需求的日益复杂,规则系统也变得更加繁杂,不同规则之间可能发生冲突。本文介绍了智能家居系统中的核心部分——规则系统,研究了规则引擎的工作方式,揭示了规则冲突问题的重要性。对智能家居中的规则冲突问题进行了研究分析,并提出了避免规则冲突问题的方法。

基于统计分析与规则冲突检测的防火墙优化

提出一种基于统计分析和规则冲突检测的防火墙优化方法,从防火墙规则的匹配概率入手,结合规则间的冲突检测,实现防火墙规则的精简和线型匹配优化。实验表明,该方法在一般情况下能对防火墙已有的规则进行精简,使其平均规则匹配次数减少40%,性能得到较大的提高。

一种快速的SDN规则冲突检测机制

软件定义网络架构中流表项的无意识性使攻击者可对其进行篡改,导致网络中出现规则冲突。针对现有规则冲突检测机制检测时间过长的问题,提出一种快速的规则冲突检测机制。通过压缩流表项,建立基于端口的规则拓扑,根据该拓扑计算端到端的可达性,从而快速检测网络中的规则冲突。仿真结果表明,在网络拓扑和流表项数量相同的条件下,相比现有的Netplumber检测机制,该机制的检测时间可降低约15%。

消除规则冲突和冗余的关联分类方法研究

研究分析了现有关联规则分类算法,总结了一般关联规则分类存在的不足,提出了一个基于关联规则挖掘技术构造分类器的新方法。该方法解决了传统算法产生规则太多,分类模型难以理解的问题。

基于OpenFlow的软件定义网络流规则冲突检测系统

在软件定义网络(SDN)中,各类网络应用的独立开发以及多用户的网络管理可能导致下发至交换设备的流规则发生冲突,而控制平面与转发平面的分离使得交换设备缺乏策略分析能力,无法独立检测内部的流规则冲突。针对这一问题,提出一种流规则冲突检测系统和检测算法。首先,通过监听、捕获控制平面与转发平面之间的OpenFlow报文,获取即将下发的流规则的信息。然后,使用冲突检测算法判定流规则的冲突类型。该算法根据流规则的匹配协议选择对应的规则集合,从而缩小了检测规模;而且在检测时优先对无冲突(NC)规则的特征进行检测,使得对NC规则的检测效率要高于其他类型的冲突规则。最后,根据冲突类型对流规则进行冲突消解。实验结果表明,所提冲突检测算法的检测准确率可以达到100%,与动态冲突检测模型相比该算法在同等规模的规则集合下的检测时间缩短约47%。且检测时间随NC规则占比的提高而缩短。

SDN中基于节点安全性能的规则冲突解决机制

软件定义网络开放可编程的特点提高网络管理的灵活性,管理员通过OpenFlow协议下发流表项对网络进行管理。由于流表项的无状态性,攻击者可以通过改写交换机中的流规则,从而达到绕过安全规则实施攻击的目的。规则之间存在依赖性,直接删减流表项并不能解决冲突,并且可能引入新的冲突。针对这一问题,提出一种基于节点安全性的路径构造方法解决规则冲突,通过使用BP神经网络判断路由节点的状态,对异常节点,重路由过程中控制器将对相关节点进行隔离。仿真分析可知,该方法建立的安全路由路径可以有效打破冲突规则间的依赖性,进而解决规则冲突。

协议无感知转发环境下的转发规则冲突检测

协议无感知转发(POF)是对基于OpenFlow协议的SDN架构的一种扩展性改进,POF交换机无需了解转发协议即可完成转发操作,控制器因此获得了最大程度的可编程能力,可以更加灵活地控制网络.但这同时也带来了新的转发规则定义冲突问题,以往的OpenFlow控制器的冲突检测方法不再适用.在对POF中规则冲突问题进行分析的基础上,提出一种以流为单位的基于交换机流表匹配的转发规则冲突检测方案,并在POF控制器中实现.实验结果证明此规则冲突检测方案不仅实现简单而且快速准确.

执法道德规则冲突及其能力评价与行为选择

执法者的职业伦理要求执法者在执行公务时既受普适性道德观念拘束,也为特殊的职业道德规则所约束。但在实务中,执法者往往会有这样的困惑:在某一处理中若涉及两种或以上职业道德规则相互冲突时,该如何选择才更符合职业伦理标准。本文综合比较了康德的道德绝对主义和边沁的道德功利主义,从短期和长期两方面影响考虑,提出在符合国情、正义等要求下,综合评价和衡量当事人、群体、制度以及社会公共利益,从而形成更优决策,并试图从理论层面为执法工作中的"道德规则冲突"选择难题提供相应的能力评价和行为选择的框架。