| 一种高效的无线移动网络安全协议* |
| |
| 引用本文： | 姚丹霖,江国庆,王新建.一种高效的无线移动网络安全协议*[J].计算机应用研究,2007,24(11):127-129. |
| |
| 作者姓名： | 姚丹霖 江国庆 王新建 |
| |
| 作者单位： | 国防科学技术大学,计算机学院,长沙,410073 |
| |
| 摘 要： | 无线移动网络具有节点资源受限的特点,为其设计和实现高效而可靠的安全协议很困难.基于可信第三方和fail-safe协议,提出了一种适合于资源受限网络环境的安全协议.利用SVO逻辑对协议的安全性进行了形式化验证.
|
| 关 键 词： | 安全协议 验证 可信第三方 故障-安全协议 移动网络 无线网络 无线移动网络 安全协议 mobile network wireless security protocol efficient 形式化验证 安全性 逻辑 利用 网络环境 可信第三方 设计 资源受限 节点 |
| 文章编号： | 1001-3695（2007）11-0127-03 |
| 修稿时间： | 2006-08-152006-10-26 |
High efficient security protocol for wireless mobile network |
| |
| YAO Dan lin,JIANG Guo qing,WANG Xin jian.High efficient security protocol for wireless mobile network[J].Application Research of Computers,2007,24(11):127-129. |
| |
| Authors: | YAO Dan lin JIANG Guo qing WANG Xin jian |
| |
| Affiliation: | (School of Computer, National University of Defense Technology, Changsha 410073, China) |
| |
| Abstract: | |
| |
| Keywords: | security protocol verification trusted third party fail-safe protocol mobile network wireless network |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
