王永亮
- 作品数：7 被引量：15H指数：3
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于多维整数空间的安全策略冲突检测与消解被引量：5
- 2009年
- 针对当前大部分安全策略冲突检测与消解算法缺少灵活性和扩展性等缺点,提出一种基于多维整数空间的安全策略形式化描述方法,在此基础上设计了一种可扩展的安全策略冲突检测与消解算法,并证明其正确性,设计并实现能够自动对安全策略进行冲突检测与消解的工具SPCDRT。
- 王永亮陈性元吴蓓代向东彭军
- 关键词：冲突消解
- 网络安全设备策略冲突检测与消解技术研究
- 分布式网络环境中存在防火墙、入侵检测等各种网络安全设备,这些网络安全设备依据安全策略对网络进行安全防护。在网络安全设备上执行多条不同的策略规则时,维护策略间的一致性非常重要。策略冲突不仅会影响系统的正确运行,而且甚至会威...
- 王永亮
- 关键词：冲突消解无向图分布式网络安全设备
- 文献传递
- 基于两阶段转换的可扩展策略翻译机制研究
- 2008年
- 策略翻译是实现策略管理的关键问题之一。设计了一种可扩展的策略翻译系统结构,提出了两阶段转换的思想,阶段1采用编译原理的思想,设计策略编译器,通过词法和语法分析,将源策略首先转换为与设备无关的中间策略,阶段2采用人工智能的思想,设计策略组装器,通过策略知识库,将中间策略转换为目标设备可执行的策略。并且通过设计词法库和策略知识库,实现了可扩展的策略翻译,增强了策略翻译的灵活性和可操作性。
- 代向东陈性元吴蓓王永亮
- 关键词：可扩展
- 一种基于Mealy自动机的策略监控模型
- 2008年
- 策略监控是完善策略管理系统、提高系统可靠性,并为第三方审计提供依据的有效途径之一。对策略整个生命周期中的状态进行了划分,引入Mealy自动机,对整个状态转换过程进行了建模,明确了监控对象及分析依据,从而实现了对策略状态的宏观监控,即通过合法性判定算法对策略进行的操作进行判定。最后,通过对自动机模型及判定算法的程序实现与性能测试可以看出,该算法能够及时有效地对事件数据进行处理响应。
- 彭军陈性元吴蓓代向东王永亮
- 一种新的策略冲突检测与消解方法
- 通过对 IETF 策略模型中策略组成的研究,以及对超维空间冲突检测方法和基于半格的冲突消解方法的分析,提出了一种的策略化简算法和基于行为分析的冲突消解思想,给出了一种新的策略冲突检测与消解结构,并对结构中的各组成部分功能...
- 王永亮陈性元吴蓓代向东牛新建
- 关键词：冲突消解最小上界
- 文献传递
- 可扩展的网络安全设备内策略冲突检测算法被引量：6
- 2010年
- 从研究网络安全设备内策略冲突检测方法入手,针对当前设备内策略冲突检测算法不具有扩展性的缺点,采用规范化和离散化技术,将策略域的属性数据统一映射到实数区间;通过定义实数区间的关系运算判断策略域之间的关系;在此基础上设计了一种可扩展的网络安全设备内冲突检测算法;该算法通过规则过滤处理,提高了安全策略冲突检测算法的执行效率。实验验证表明该算法正确高效,具有实用价值。
- 吴蓓陈性元张永福王永亮代向东
- 关键词：可扩展离散化
- 基于知识库的智能策略翻译技术被引量：3
- 2008年
- 提出基于知识库的策略翻译方法,设计策略翻译组成结构,分析策略知识及其表示形式,建立动态可扩展的策略知识库,开发可扩展的策略编译器和策略组装器。实例测试表明,该技术实现了策略翻译的智能化,解决了各种设备的策略不能统一管理的问题。
- 代向东陈性元吴蓓王永亮
- 关键词：知识库
