杨华兵
- 作品数：13 被引量：19H指数：3
- 供职机构：中国人民解放军空军雷达学院电子对抗系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- SAODV协议在Isabelle/HOL中的正确性验证被引量：1
- 2008年
- 将SAODV(secure Ad-hoc on-demand distance vector routing)协议的正确性性质划分为安全性性质和活动性性质。前者是指SAODV发现的路由具有某些期望的性质,如无环路等;后者是指节点一定能够找到合适的路由,并利用其成功传送数据。很多移动自组网路由协议的形式化验证工作关注安全性性质,而活动性性质却被忽略了。利用Paulson归纳法来描述SAODV协议并验证其安全性性质,扩展Paulson归纳法描述和验证SAODV的活动性性质。所有定义和推理都是在机器辅助定理证明工具Isabelle/HOL/Isar中进行的。
- 王金双杨华兵张兴元王元元张毓森
- 关键词：形式化验证活动性
- SAODV协议在Isabelle/HOL中的正确性验证
- 将SAODV(secure Ad-hoc on-demand distance vector routing)协议的正确性性质划分为安全性性质和活动性性质.前者是指SAODV发现的路由具有某些期望的性质,如无环路等;后者...
- 王金双杨华兵张兴元王元元张毓森
- 关键词：移动自组网路由协议形式化验证活动性安全性
- 文献传递
- 移动Ad Hoc网络安全路由协议的比较研究被引量：2
- 2005年
- 安全性是移动Ad Hoc网络安全路由协议研究中的重点.目前还没有发现关于移动Ad Hoc网络安全路由协议防攻击能力的系统研究.对目前已知的移动Ad Hoc网络安全路由协议进行了详细的比较,分析了其防攻击能力.结果表明目前没有哪一种移动Ad Hoc网络安全路由协议能够防御所有的攻击,同时也需要一个安全性准则来对路由协议的安全性进行评价,可以根据不同的应用背景来选择使用不同的安全路由协议.指出移动Ad Hoc网络安全路由协议的最终设计目标是能安全地运行在所有环境下、能防御所有已知和未知的攻击.最后给出了下一步的研究方向.
- 杨华兵张宁蓉
- 关键词：移动ADHOC网络安全路由协议
- 移动Ad Hoc网络安全路由协议的比较研究
- 安全性是移动AdHoc网络安全路由协议研究中的重点.目前还没有发现关于移动AdHoc网络安全路由协议防攻击能力的系统研究.本文对目前已知的移动AdHoc网络安全路由协议进行了详细的比较,分析了其防攻击能力.结果表明目前没...
- 杨华兵张宁蓉
- 关键词：安全路由协议
- 文献传递
- 一种对抗DoS攻击的入侵检测系统模型被引量：2
- 2002年
- 随着入侵技术的逐步成熟,攻击者往往在入侵目标主机之前攻击入侵检测系统,使其丧失保护功能.首先分析了当前常用的分布式入侵检测系统的缺陷及攻击者常用的攻击方法,然后在此基础上提出了一种能够防止自身遭受拒绝服务攻击的入侵检测系统模型.
- 杨华兵曹立威熊家军阚酉浔
- 关键词：入侵检测系统模型DOS攻击攻击者分布式入侵检测系统拒绝服务攻击主机
- 战场Ad Hoc网络对抗被引量：4
- 2011年
- 无线自组织(Ad Hoc)网络是一种无线、多跳以及无中心分布式控制网络,具有无需网络基础设施、自组织性及抗毁性强和容易构建等特点,已广泛应用于现代信息化战场。如何对战场AdHoc网络进行有效对抗已成为现代电子战研究的重要方向。分析了战场Ad Hoc网络的特点、信号体制及现有协议安全技术的局限性,提出了基于通信信号干扰和计算机网络协议攻击的战场AdHoc网络的对抗方法。
- 张吉峰王敏杨华兵
- 关键词：对抗方法战场通信
- 神经网络应用于入侵检测的研究被引量：4
- 2002年
- 介绍了入侵检测系统的作用、类型和原理,论述了神经网络应用于入侵检测系统中的优势,提出了神经网络入侵检测系统的模型,并指出了神经网络的不足之处.
- 张辉杨华兵曹立威熊家军
- 关键词：入侵检测系统神经网络
- MANET路由协议的正确性分析被引量：2
- 2007年
- 移动自组网(MANET)是当前网络研究的一个热点,但是由于安全问题致使其未能广泛应用。在安全问题中,路由协议的正确性尤为重要。采用形式验证方法分析了MANET非安全路由协议和安全路由协议的正确性。首先给出了协议正确性的形式描述以及攻击者的形式定义,将协议的正确性分为安全性(Safety property)和活性(Liveness property),前者指协议所发现的路由具有某些良好的性质,后者指协议能够发现路由而且能够顺利地传输数据;然后提出了两个活性证明规则——响应性证明规则和反应性证明规则,并用所提出的活性证明规则在Isabelle/HOL中证明了DSR协议和SRP协议的正确性。
- 杨华兵张兴元王元元
- 关键词：MANET路由协议
- 入侵检测中频繁模式的有效挖掘算法被引量：4
- 2005年
- 在基于数据挖掘的入侵检测系统中,为了在海量审计记录中有效地提取出相关规则,需要通过利用与入侵检测相关的特定领域知识。首先对关联规则挖掘问题中的相关概念给出几个规范化定义,介绍了基本的关联规则和情节规则挖掘算法,然后结合审计记录的特点,考虑其轴属性和参照属性以及规则兴趣度,对基本挖掘算法中的候选项目集产生函数进行了改进。分析结果表明,利用规则兴趣度能够大大减小候选项目集的大小,有效提高频繁模式挖掘算法的效率。
- 杨华兵叶新郢张宁蓉
- 关键词：数据挖掘入侵检测关联规则
- 战场无线Ad Hoc网络路由协议的安全性研究
- 2011年
- 战场无线Ad Hoc网络不需要固定基础设施,具有组网灵活、快捷等特点,然而由于安全性问题致使其未能广泛应用。作者给出了针对战场无线Ad Hoc网络路由协议的攻击分类,列举了安全路由协议的设计要求,详细分析了多种无线Ad Hoc网络安全路由协议,并对其防御攻击能力进行了比较。结果表明,没有一种安全路由协议能够防御所有的攻击,目前急需评判路由协议的安全性准则。最后指出了关于战场无线Ad Hoc网络安全路由协议的设计目标和下一步的研究方向。
- 周铭杨华兵李方敏王敏
- 关键词：HOC网络安全路由协议
