江国庆

作品数:1被引量:2H指数:1
导出分析报告
供职机构:国防科学技术大学计算机学院更多>>
发文主题:安全协议移动网络可信第三方无线移动无线网络更多>>
发文领域:自动化与计算机技术电子电信更多>>
发文期刊:《计算机应用研究》更多>>
所获基金:武器装备预研基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
一种高效的无线移动网络安全协议被引量:2
《计算机应用研究》2007年第11期127-129,142,共4页姚丹霖 江国庆 王新建 
武器装备预研资助项目(413150301)
无线移动网络具有节点资源受限的特点,为其设计和实现高效而可靠的安全协议很困难。基于可信第三方和fail-safe协议,提出了一种适合于资源受限网络环境的安全协议。利用SVO逻辑对协议的安全性进行了形式化验证。
关键词:安全协议 验证 可信第三方 故障—安全协议 移动网络 无线网络 
检索报告 对象比较 聚类工具 使用帮助 返回顶部