您的位置： 专家智库 > >

山东省自然科学基金(Z2003G01)

作品数：10 被引量：56H指数：4
相关作者：王英龙王美琴王继志牛秋娜高振明更多>>
相关机构：山东省计算中心山东大学青岛科技大学更多>>
发文基金：山东省自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 10篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 4篇电子电信

主题

  • 7篇路由
  • 7篇路由协议
  • 3篇网络
  • 3篇无线
  • 2篇移动自组网
  • 2篇通信
  • 2篇自组网
  • 2篇组网
  • 2篇网络路由
  • 2篇网络路由协议
  • 2篇AD
  • 2篇BAN逻辑
  • 2篇HOC网
  • 2篇HOC网络
  • 1篇单向散列函数
  • 1篇端到端
  • 1篇移动AD
  • 1篇移动通信
  • 1篇移动自组网路...
  • 1篇散列

机构

  • 8篇山东省计算中...
  • 6篇山东大学
  • 2篇青岛科技大学
  • 1篇山东省科学院
  • 1篇曲阜师范大学
  • 1篇山东省计算机...

作者

  • 9篇王英龙
  • 7篇王美琴
  • 6篇王继志
  • 2篇高振明
  • 2篇牛秋娜
  • 1篇高仲合
  • 1篇王连海
  • 1篇徐东红
  • 1篇徐永道
  • 1篇王美芳

传媒

  • 3篇计算机工程与...
  • 2篇计算机应用研...
  • 1篇物理学报
  • 1篇通信学报
  • 1篇计算机工程与...
  • 1篇小型微型计算...
  • 1篇中国图象图形...

年份

  • 1篇2007
  • 5篇2006
  • 4篇2005
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于BAN逻辑的ad hoc移动网络路由协议的安全性分析被引量：4
2005年
Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对协议的运行过程进行了形式化,给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性。
王英龙王继志王美琴
关键词：无线通信ADHOC路由协议BAN逻辑
一类基于混沌映射构造Hash函数方法的碰撞缺陷被引量：24
2006年
混沌动力学系统在一定的参数范围内出现混沌运动,且它所产生的混沌序列具有良好的伪随机特性.以混沌映射为基础,已有文献提出了一些构造单向散列函数的方法.对这些方法进行分析,证明它们均存在碰撞缺陷,并总结了采用混沌映射构造单向散列函数时应注意的问题.
王继志王英龙王美琴
关键词：混沌单向散列函数碰撞
一种Adhoc网络路由协议安全性分析方法被引量：2
2005年
目前对安全协议进行分析的方法主要有两大类:一类是攻击检验方法;一类是形式化的分析方法。论文对第一种方法进行改进,通过对Adhoc移动网络中节点行为的分析,给出了针对路由协议的攻击方式的形式化描述。以DSR和SADSR为例,分析了在这些攻击方式的作用下路由协议的安全性。
王英龙王继志王美琴高振明
关键词：ADHOC路由协议
基于串空间的移动自组网路由协议安全性分析
2005年
为了研究Adhoc移动网络路由协议安全性的分析方法,采用串空间理论对Adhoc移动网络路由协议的安全目标进行了形式化描述,提出了Adhoc移动网络路由协议的形式化分析方法,并采用该方法对安全路由协议SRP的安全性进行验证,结果发现了安全路由协议SRP的一个安全漏洞,说明采用串空间理论对Adhoc移动网络路由协议安全性进行分析是有效的。
王英龙王继志王美琴高振明
关键词：无线自组网络路由协议串空间
基于Ad Hoc网络路由协议的安全技术研究及应用被引量：8
2006年
AdHoc网络的安全路由直接影响到网络的正常通信,因此有必要采取一定的技术措施提高路由协议的安全性。本文首先介绍了移动AdHoc网络安全路由协议应满足的五个要求,并对关键的安全技术及其在AdHoc路由协议中的应用进行了分类介绍。本文最后提出一种基于路由协议DSR的安全增强方案。
牛秋娜王美琴
关键词：ADHOC网络安全特性安全技术
基于SPI演算的移动自主网络安全路由协议分析
2006年
安全协议是许多分布式系统安全的基础,也是MANET网络的基础,确保MANET路由协议的安全运行是极为重要的。对于MANET的特点,设计一个可靠的安全路由协议是必须的,也是一个艰巨的任务,但大多数的安全路由协议都是通过模拟结果来进行解释的,缺乏严格形式化分析来确保其安全属性。在传统的安全属性中,加密协议已经被形式化分析许多年了,然而去形式化分析移动adhoc网路由协议的工作并没有出现已成熟的方法和理论的文献。论文针对SRP(secureroutingprotocol)协议模型用SPI演算做出形式化分析,在论文提出的攻击者进程模型下,可以推导出SRP产生一定的脆弱性。
王英龙徐东红王美琴高仲合
关键词：安全路由协议安全性SPI演算SRP
基于NS-2的MANET路由协议仿真及性能评估被引量：8
2006年
简单介绍MANET(Mobile Ad hoc Network)路由协议后,提出定量评估MANET路由协议性能的六个基本指标。基于网络仿真器NS-2阐述了评估和测试路由协议性能的仿真模型及数据结果的分析方法,并给出仿真实例及其分析。结果表明,模型仿真结果接近理论分析和实际情况,该性能评估方法有较强的实用性和通用性。
牛秋娜王美琴王英龙徐永道
关键词：移动AD仿真模型
合同签名的研究
2006年
提出了一种新的数字签名—合同签名.合同签名是现实生活中的合同或协议的数字对应物.由于合同、协议在商品经济社会中占有非常重要的地位,因此研究合同签名的安全性和实用性对于推进数字签名的实用化有着非常重要的意义.在给出合同签名的定义后,提出了一种基于离散对数的合同签名方案,并对该方案的安全性和正确性进行了讨论.
王英龙王连海
关键词：数字签名多重数字签名公钥认证
基于UWB技术的无线移动多媒体QoS路由协议被引量：7
2005年
随着UWB技术的出现,无线移动多媒体业务在自组网中的应用成为可能。为了满足无线移动多媒体传输的需要,设计了一种新的针对多媒体业务的QoS路由协议,给出了协议的详细描述。由于该协议充分利用了UWB技术的速率和距离互换特性,考虑了传输速率、时延和链路拥塞程度3个QoS参数,并借鉴无线移动自组网基本路由协议DSR和AODV,因此不仅能够获得满足业务要求的路由,且能提前预测链路的中断,以便及时切换替代路由。与目前已提出的基于UWB技术的路由协议相比,该协议更适合于无线移动多媒体业务的传输。
王继志王英龙王美琴
关键词：UWB无线移动自组网路由协议QOS
基于WPKI的移动通信端到端认证协议被引量：3
2007年
提出了一个在不同移动运营商中移动终端的相互认证协议。该协议利用WPKI机制,实现对双方公钥证书的认证。最后采用BAN逻辑,对协议的形式化分析表明协议达到了认证目标。
王继志王英龙王美芳
关键词：WPKIBAN逻辑
全选 清除 导出
共1页<1>
聚类工具0