彭军
- 作品数：4 被引量：5H指数：1
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于多维整数空间的安全策略冲突检测与消解被引量：5
- 2009年
- 针对当前大部分安全策略冲突检测与消解算法缺少灵活性和扩展性等缺点,提出一种基于多维整数空间的安全策略形式化描述方法,在此基础上设计了一种可扩展的安全策略冲突检测与消解算法,并证明其正确性,设计并实现能够自动对安全策略进行冲突检测与消解的工具SPCDRT。
- 王永亮陈性元吴蓓代向东彭军
- 关键词：冲突消解
- 基于分层网络系统模型的多层策略生成和表示
- 2009年
- 策略编写和表示是策略研究的基础。当前策略编写多直接面向设备和技术,过于依赖管理员的知识和经验,而忽视了应用环境对策略制定的要求和影响,造成策略编写不完备、易出错。为解决这一问题,设计了分层网络安全系统模型,提出从系统建模的角度讨论策略生成和表示,使得策略制定不再局限于单台设备或某种安全功能,而是建立在了解整个网络系统安全需求的基础上,一定程度上实现了策略的自动生成,保证了策略制定的正确性和完整性,降低了管理员负担,减小了出错的可能。然后通过提炼策略基本属性,设计了基于网络安全系统模型的多层安全策略表示方法,并采用BNF范式描述了策略语法规范,策略表示更加友好,操作性更强。
- 吴蓓陈性元张永福代向东彭军
- 关键词：BNF范式
- 一种基于Mealy自动机的策略监控模型
- 2008年
- 策略监控是完善策略管理系统、提高系统可靠性,并为第三方审计提供依据的有效途径之一。对策略整个生命周期中的状态进行了划分,引入Mealy自动机,对整个状态转换过程进行了建模,明确了监控对象及分析依据,从而实现了对策略状态的宏观监控,即通过合法性判定算法对策略进行的操作进行判定。最后,通过对自动机模型及判定算法的程序实现与性能测试可以看出,该算法能够及时有效地对事件数据进行处理响应。
- 彭军陈性元吴蓓代向东王永亮
- 网络安全策略监控模型及关键技术研究
- 近年来,随着安全管理的发展,安全策略管理已成为研究热点。目前,针对安全策略管理,研究较多的则是在策略统一描述、策略翻译以及策略冲突检测与消解等方面。然而,随着研究的深入,也需要对策略监控技术进行研究,以了解策略在系统中的...
- 彭军
- 关键词：自动机
- 文献传递
