期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到6篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
SAODV协议在Isabelle/HOL中的正确性验证
1
作者 王金双 杨华兵 +2 位作者 张兴元 王元元 张毓森 《解放军理工大学学报（自然科学版）》 EI 2008年第5期450-454,共5页
将SAODV(secure Ad-hoc on-demand distance vector routing)协议的正确性性质划分为安全性性质和活动性性质。前者是指SAODV发现的路由具有某些期望的性质,如无环路等;后者是指节点一定能够找到合适的路由,并利用其成功传送数据。很多... 将SAODV(secure Ad-hoc on-demand distance vector routing)协议的正确性性质划分为安全性性质和活动性性质。前者是指SAODV发现的路由具有某些期望的性质,如无环路等;后者是指节点一定能够找到合适的路由,并利用其成功传送数据。很多移动自组网路由协议的形式化验证工作关注安全性性质,而活动性性质却被忽略了。利用Paulson归纳法来描述SAODV协议并验证其安全性性质,扩展Paulson归纳法描述和验证SAODV的活动性性质。所有定义和推理都是在机器辅助定理证明工具Isabelle/HOL/Isar中进行的。 展开更多
关键词 形式化验证 saodv协议 活动性 Isabelle/HOL/Isar
在线阅读 下载PDF
利用网络编码优化Ad Hoc网安全路由协议SAODV
2
作者 周红磊 陈峥 +1 位作者 王晓京 赵向辉 《计算机工程与应用》 CSCD 北大核心 2009年第20期84-86,185,共4页
网络编码可大大提高网络吞吐量、减少延迟。然而,由于编码意义上网络信息流的复杂性,实际应用中仍存在困难。另一方面,Ad Hoc网作为自组织形式的特殊网络,其安全路由协议是研究重点。针对Ad Hoc网安全路由协议中较优秀的SAODV,提出一种... 网络编码可大大提高网络吞吐量、减少延迟。然而,由于编码意义上网络信息流的复杂性,实际应用中仍存在困难。另一方面,Ad Hoc网作为自组织形式的特殊网络,其安全路由协议是研究重点。针对Ad Hoc网安全路由协议中较优秀的SAODV,提出一种基于网络编码的优化方案,较传统编码易于实现、具有较强实用性。 展开更多
关键词 网络编码 移动自组网 安全Ad Hoc网按需距离矢量路由协议
在线阅读 下载PDF
移动Ad Hoc网络基于椭圆曲线密码体制的安全性研究 被引量：3
3
作者 徐永道 高振明 +1 位作者 王美琴 牛秋娜 《山东大学学报（理学版）》 CAS CSCD 北大核心 2004年第4期71-76,共6页
安全性是限制移动AdHoc网络广泛应用的主要瓶颈 ;AdHoc网络的安全问题表现为密钥生成、密钥管理和路由安全方面 .基于椭圆曲线的密码体制以其更短的密钥长度以及较低的资源需求 ,更适合应用于资源有限的AdHoc环境中 .对移动AdHoc网络 ,... 安全性是限制移动AdHoc网络广泛应用的主要瓶颈 ;AdHoc网络的安全问题表现为密钥生成、密钥管理和路由安全方面 .基于椭圆曲线的密码体制以其更短的密钥长度以及较低的资源需求 ,更适合应用于资源有限的AdHoc环境中 .对移动AdHoc网络 ,首先给出基于椭圆曲线密码体制的GDH .3协议产生组密钥的方案 ;其次利用椭圆曲线密码体制实现安全路由协议SAODV (SecuringAdHocon demanddistancevectorrouting) ,并通过试验进一步验证了方案的可行性 . 展开更多
关键词 AD HOC NETWORK 安全按需路由协议(saodv) 椭圆曲线 组密钥
在线阅读 下载PDF
针对安全路由协议的抢先重放攻击研究
4
作者 张君毅 杨义先 《无线电工程》 2008年第9期1-3,共3页
AODV路由协议在设计上缺乏安全的考虑,存在一些可用来攻击的漏洞。为了弥补各种安全缺陷,研究人员引入安全证书、数字签名和哈希链等措施增强了路由协议的安全性,有代表性的是ARAN和SAODV安全路由协议。通过对这2种协议的工作过程认真分... AODV路由协议在设计上缺乏安全的考虑,存在一些可用来攻击的漏洞。为了弥补各种安全缺陷,研究人员引入安全证书、数字签名和哈希链等措施增强了路由协议的安全性,有代表性的是ARAN和SAODV安全路由协议。通过对这2种协议的工作过程认真分析,发现它们在面对抢先重放攻击时仍然存在着巨大的漏洞,在建立路由时,通过抢先-重放攻击,能够跳过合法节点,形成一条不成立的伪路由。对攻击过程进行了详细分析,并给出了弥补措施。 展开更多
关键词 AODV ARAN saodv 抢先重放攻击
在线阅读 下载PDF
《解放军理工大学学报(自然科学版)》2008年(第9卷)第1～6期总目次
5
《解放军理工大学学报（自然科学版）》 EI 2008年第6期I0001-I0008,共8页
关键词 算法 王金龙 无线电 解放军理工大学 saodv Design OFDM JUN 自然科学版 WIMAX 学报 连续出版物 目次
在线阅读 下载PDF
移动Ad Hoc网络路由安全问题研究 被引量：2
6
作者 柯敏毅 魏树婧 肖鹏 《网络安全技术与应用》 2008年第2期41-43,共3页
本文首先介绍了移动AdHoc网络的特点和安全策略,然后描述了一些针对路由的攻击手段,其后对一些典型安全协议进行了说明,上述方案都在一定程度上增强了AdHoc网络的安全性,但仍然存在大量问题需要深入的研究。
关键词 AD HOC 路由安全 SRP协议 ARAN协议 saodv协议
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部