基于逻辑和辩论的安全策略一致性研究

冲突检测和冲突消解是策略一致性研究的两个主要方向。现有的冲突检测算法时间复杂度高,且缺乏灵活性和扩展性。改变策略条件和基于优先级的冲突消解方法容易引起新的不一致性问题,而且优先权的赋予带有主观因素,难以实现。在此基础上,使用逻辑对策略和策略冲突进行形式化描述和分析,并提出了一种基于逻辑合一思想的多项式时间内的策略一致性检测算法;把策略冲突分为包容冲突、相交冲突和互补冲突,给出了一种包容冲突和相交冲突的自动解决方法,证明了该方法的可行性和完备性;利用辩论机制和理论对策略互补冲突进行了语义分析,为基于优先级的解决方案提供了理论基础;提出了一种策略互补冲突下的一致性策略子集的计算算法,并进行了复杂度分析。     

构件动态演化内部一致性保证方法

基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究。为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法。首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法;其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,分别从全局和局部的角度定义了构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件,并对其进行了证明;然后,基于上述工作,给出了构件动态演化内部一致性保证方法的流程;最后,通过案例研究表明该方法的可行性和有效性。     

基于语义相似度的静态安全策略一致性检测

安全策略语义是人类控制安全行为意志的表达。针对策略语义在定义和转换过程中存在的冲突等问题,提出一种基于语义相似度的静态安全策略一致性检测模型与算法。首先建立策略领域本体并提取特征因子,给出基于本体中概念特征的语义相似度计算方法;继而以防火墙安全策略为例建立实例检测模型,运用静态安全策略一致性检测算法对冲突策略进行标记处理,并保证最终的策略规则库的一致性。实验结果表明,该算法具有较好的检测效果,为解决安全策略在定义、制定和映射等阶段的冲突提供了一种可行的途径。     

可重用构件库管理的设计

内容丰富、组织良好的构件库是软件重用的核心。本文选择面向对象方法中的类作为可重用构件，讨论类库的组织、管理、维护方面的问题和解决策略。     

挖掘机协同设计中知识冲突管理系统的设计与实现

为解决复杂机械产品协同设计中的知识冲突问题,研究了产品设计时约束网络的建立方法和约束的分层管理,并采用区间传播算法求解约束满足问题,解决了协同设计中基于约束的冲突检测和冲突归档问题。在理论研究的基础上,开发了一种基于J2EE平台Struts+IBatis轻量级框架的协同设计中知识冲突管理系统,在一定程度上解决了协同设计中的知识冲突问题,并以挖掘机产品设计选择轴承为实例验证了知识冲突管理系统的正确性和可行性。     

面向领域敏捷定制ERP生产中的多级版本管理研究*

提出面向领域敏捷定制ERP产品开发模型,重点论述面向领域敏捷ERP定制过程,给出了软件开发过程中的 ERP软件构件版本管理、ERP构件组版本管理以及ERP产品的版本管理模型和详细的解决方案。解决了ERP产品柔性、适应性和ERP产品敏捷生产的问题,为提高我国企业ERP产品的实施成功率,探索出一条新途径。     

一种网构软件构件选择方法

针对网构软件构件选取问题的特点,将网构软件构件选取问题中的构件选择问题CSPI映射为MMKP,提出一种基于遗传算法的网构软件构件选择方法。该方法首先对构件库中的构件依据构件的功能刻面分类并检索,得到检索集;然后引入遗传算法,从检索集中选择多个合适的构件构建网构软件;接着,引入蚁群算法中的正反馈思想,对遗传算法中的变异操作进行改进;最后,实验结果表明:遗传算法能够选择合适的构件构建网构软件,并且改进的遗传算法能够选择更合适的构件构建网构软件。     

面向领域敏捷定制ERP生产中的多级版本管理研究

提出面向领域敏捷定制ERP产品开发模型,重点论述面向领域敏捷ERP定制过程,给出了软件开发过程中的 ERP软件构件版本管理、ERP构件组版本管理以及ERP产品的版本管理模型和详细的解决方案.解决了ERP产品柔性、适应性和ERP产品敏捷生产的问题,为提高我国企业ERP产品的实施成功率,探索出一条新途径.     

分布式目录同步的冲突处理与副本管理研究

随着用户拥有电脑数目的增多,为了维护多机之间数据的一致性,目录同步正成为十分普遍的应用.然而在分布式环境下进行目录同步,因客户机频繁接入网络,造成数据传输延时不可知,并发操作识别需要重新界定,修改冲突也无法采用传统加锁机制处理.为了解决上述问题,提出了MSVerion算法,该算法融合了SVN的冲突发现和Vector Clock的副本管理,能在合并变化文件时快速地发现冲突,减少分布式环境下文件副本管理中需要保存的数据量.同时遵循最终一致性理论,给出了目录同步中3种冲突操作的解决策略.     

基于构件的叶片型面测量软件设计与实现

航空压气机叶片因其自身特点需要测量软件能够定制和易于变化,构件技术解决了这一问题。文章基于软件构件化开发思想,进行航空压气机叶片型面测量软件需求分析和设计;建立开放式测量软件框架和数据流模型;基于MATLAB进行COM功能构件设计与制造;最后通过构件组装与调用,实现测量软件。     

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

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

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

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

基于后悔值的多Agent冲突博弈强化学习模型

对于冲突博弈,研究了一种理性保守的行为选择方法,即最小化最坏情况下Agent的后悔值.在该方法下,Agent当前的行为策略在未来可能造成的损失最小,并且在没有任何其他Agent信息的条件下,能够得到Nash均衡混合策略.基于后悔值提出了多Agent复杂环境下冲突博弈的强化学习模型以及算法实现.该模型中通过引入交叉熵距离建立信念更新过程,进一步优化了冲突博弈时的行为选择策略.基于Markov重复博弈模型验证了算法的收敛性,分析了信念与最优策略的关系.此外,与MMDP(multi-agent markov decision process)下Q学习扩展算法相比,该算法在很大程度上减少了冲突发生的次数,增强了Agent行为的协调性,并且提高了系统的性能,有利于维持系统的稳定.     

改进聚合树的高维多目标降维优化算法

对于高维多目标优化问题,降维优化算法通过去除或融合冗余目标的方法解决算法耗时过多的问题,但同时也会导致算法分布性能下降。聚合树算法定义非参数秩冲突从而可以快速计算出各目标间冲突度,但聚合树算法鲁棒性有待提高,且需要用户自行决策去除冗余目标。针对这些问题,提出数组叠加机制并定义冲突趋势和冲突度误差,以提高算法鲁棒性;通过合并冲突度较低的冗余目标的方法来进行目标降维,并定义降维截止冲突度;与NSGA-III算法结合,以达到对高维多目标问题进行完整降维优化的目的。为检验该算法性能,与其他经典高维算法进行对DTLZ测试函数集的优化对比,实验结果表明,该算法在耗时更少的同时,也具有较为优秀的分布性能和收敛性能。     

一种基于AS关系的BGP路由策略冲突检测算法

因特网边界网关协议BGP是基于策略的路由协议，它为路由选择提供了灵活性，然而，实践表面BGP路由会产生振荡，其原因是路由策略配置冲突，通过分析AS关系，提出一种基于AS关系的路由策略冲突检测算法，该算法根据AS关系下的路由策略配置原则检测路由策略配置错误。     

基于多维整数空间的安全策略冲突检测与消解

针对当前大部分安全策略冲突检测与消解算法缺少灵活性和扩展性等缺点,提出一种基于多维整数空间的安全策略形式化描述方法,在此基础上设计了一种可扩展的安全策略冲突检测与消解算法,并证明其正确性,设计并实现能够自动对安全策略进行冲突检测与消解的工具SPCDRT。     

右对齐算法解决IPsec安全策略冲突问题

当前IPsec的策略系统的策略设置方式很可能引起策略冲突。在分析和比较现有策略生成算法的基础上,提出了右对齐策略生成算法,在有效解决策略冲突,获得最少生成策略数的基础上,进一步降低了满足所有需求保护的通信过程所需的策略数。     

网络安全管理中的策略冲突检测方法研究

本文通过对策略冲突进行系统研究,找到其中的主要因素,按照“策略冲突发生时策略的状态”和“策略冲突发生时策略作用对象之间的关系”给出了策略冲突的两种分类,通过这两种分类解决了“何时检测冲突”和“如何检测冲突”的问题。而后进一步阐述了如何应用冲突数据库来判别策略冲突类型的方法。     

基于模型故障诊断中的冲突求解

基于模型的故障诊断是一种重要的诊断方法, 但它的计算量较大. 在Reiter算法的基础上, 论证了每次求解冲突集时, 每个元件的模型知识仅需调用一次. 同时指出了在某些情况下可以利用元件参数矩阵来指导冲突的求解过程, 有效减少了调用元件模型的次数.     

求解掩盖故障的新方法

针对用单故障策略诊断多故障时可能出错的原因,提出一种确定性的,效率较高的求解掩盖故障的算法;首先通过定义寻找系统中可能存在的隐藏故障集;然后在隐藏故障集中寻找可能存在掩盖故障的故障元件集以及冲突集;其次通过建立冲突集簇的相关矩阵,把求解冲突集簇掩盖故障的问题转换为求解集合覆盖,并用确定性方法DNA粘贴模型来求解,获得全部真实解;最后通过实例验证,该方法是一种并行算法,可行、简单、有效。