一种高效的无线移动网络安全协议  

High efficient security protocol for wireless mobile network

作　　者：姚丹霖[1] 江国庆[1] 王新建[1] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073

出　　处：《计算机应用研究》2007年第11期127-129,142,共4页Application Research of Computers

基　　金：武器装备预研资助项目(413150301)

摘　　要：无线移动网络具有节点资源受限的特点,为其设计和实现高效而可靠的安全协议很困难。基于可信第三方和fail-safe协议,提出了一种适合于资源受限网络环境的安全协议。利用SVO逻辑对协议的安全性进行了形式化验证。Limited resource in wireless mobile network＇ s nodeed results in very difficult to design and implement an efficient and reliable security protocol. Based on trusted third party and fail-safe protocol, presented a new security protocol which was suitable for the limited resource network environment. The safety of this new security protocol was formally verified using the SVO logic.

关 键 词：安全协议 验证 可信第三方 故障—安全协议 移动网络 无线网络 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]