一种无线传感器网络双向认证协议设计及证明  

Design and Proof of Bilateral Authentication Protocol for Wireless Sensor Network

作　　者：郭萍[1] 傅德胜[1] 成亚萍[1] 展翔[1] 

机构地区：[1]南京信息工程大学计算机与软件学院,南京210044

出　　处：《计算机科学》2015年第2期100-102,130,共4页Computer Science

基　　金：中国气象局项目(2014MC16);江苏大学生创新基金(201410300049)资助

摘　　要：构建了一种适用于无线传感器网络的用户与传感器节点间的双向认证协议。分析表明,协议所用算法克服了基于身份公钥的机制中第三方私钥托管问题,并简化了传统基于证书的机制产生及验证证书的复杂性。系统初始化完成后,用户与传感器节点间的双向认证无需可信第三方参与,认证协议简单高效、通信量少。采用BAN(Burrows-Abadi-Needham)逻辑证明协议的完备性、正确性及安全性。A bilateral authentication protocol between users and sensor nodes was proposed for WSN（wireless sensor network）.Analysis shows that authentication protocol not only avoids the drawback of private key escrow in the identity-based system,but also achieves the advantage of simplifying complication of producing and verifying public key in traditional certificate-based system.Moreover,the authentication protocol doesn＇t need TTP（Trusted Third Party）,is efficient and has less communications.Finally,the integrity,correction and security of protocol were proved with BAN logic formal method.

关 键 词：无线传感器网络(WSN) 双向认证 BAN逻辑 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]