您的位置： 专家智库 > >

李鹏

作品数：2 被引量：3H指数：1
供职机构：鞍山科技大学计算机科学与工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇网络
  • 1篇路由
  • 1篇路由协议
  • 1篇逻辑
  • 1篇逻辑证明
  • 1篇互联
  • 1篇互联网
  • 1篇安全协议
  • 1篇安全性
  • 1篇AD
  • 1篇BAN逻辑
  • 1篇DSR
  • 1篇HOC网
  • 1篇HOC网络
  • 1篇MANET

机构

  • 2篇鞍山科技大学

作者

  • 2篇曾子维
  • 2篇李鹏
  • 1篇庄兵
  • 1篇孙学波

传媒

  • 1篇计算机应用与...
  • 1篇计算机工程与...

年份

  • 2篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
Otway Rees协议的安全分析被引量：2
2006年
互联网的迅速发展引起人们对协议安全性的关注,现在国际上流行安全协议的分析方法集中在形式化验证方面,其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明O tway Rees协议的安全性,同时也得出BAN逻辑在证明协议安全性方面的一些缺陷。
曾子维李鹏孙学波
关键词：安全协议BAN逻辑逻辑证明形式化验证安全性互联网
一种用于MANET的混合度量路由协议被引量：1
2006年
对无线Ad-Hoc网络(MANET)路由协议作了简要介绍和比较,在动态路由协议(DSR)的基础上,提出基于路径稳定性和最短性的混合度量路由协议(MDSR)。该协议由移动节点的位置、速度和移动方向等信息来预测相邻节点有效通信时间,然后结合路径跳数,运用混合度量模型选择最佳路由。仿真结果,一方面证明了MDSR比DSR有较低的控制包开销和较高的包投递率,另一方面也说明了混合度量是路径选择的最佳度量。
李鹏曾子维庄兵
全选 清除 导出
共1页<1>
聚类工具0