传感器网络安全协议的分析和改进.pdfVIP

第32卷第5期 通信学报 、，01．32No．5 2011年5月 JournalonCommunications May2011 传感器网络安全协议的分析和改进 闫丽丽1一，彭代渊1，高悦翔1,3 (1f西南交通大学信息安全与国家计算网格实验室，四川成都610031； 2．成都信息工程学院网络j：程学院，四川成都610225：3．四川师范大学计算机科学学院，四川成都610068) 摘要：分析A．Perrig提出的传感器网络安全协议套件的安全性，发现其中的节点密钥协商协议存在攻击，即攻 击者可以冒充合法节点发送密钥协商请求。针对以上攻击，给出了一个改进协议。为了分析改进协议的安全性， 对原始串空间理论进行了扩展，并使用扩展后的理论从保密性和认证性两个方面分析了改进协议的安全性。分析 结果显示，改进后的协议是安全的。同时，对串空间理论的扩展，为其能够分析较复杂的安全协议打下了基础。 关键词：无线传感器网络；安全协议；形式化分析；串空间 中图分类号：TN918．1 文献标识码：B ^ l ‘ 1o ‘●● ■ ●■ ’ ann OtsensOrnetworKs Analysisimprovement SeCUrltVprotocol YAN Li—liL2，PENG Dai—yuanl，GAOYue—xiangl3 (1．InformationSecurity of Science，SichuanNormal 3．DepartmentComputer University,Chengdu610068，China) Abstract：Asuitof forsensornetworkswas ofthe Was securityprotocols presentedbyA．Perrig．Thesecurityprotocols had inthe thatafalse thenoneattackbeenfound from analyzed，and two—partykeyagreementprotocol requestmessage an node false this intruder．Inthat intruder the andcreates to attack case，the impersonates requests．Animprovedprotocol Was of Was theextendedstrand twomain analyzed security proposed．Thesecurityimprovedprotocol by spaces，where an