10.3969/j.issn.1000-436X.2011.05.019
传感器网络安全协议的分析和改进
分析A.Perrig提出的传感器网络安全协议套件的安全性,发现其中的节点密钥协商协议存在攻击,即攻击者可以冒充合法节点发送密钥协商请求.针对以上攻击,给出了一个改进协议.为了分析改进协议的安全性,对原始串空间理论进行了扩展,并使用扩展后的理论从保密性和认证性两个方面分析了改进协议的安全性.分析结果显示,改进后的协议是安全的.同时,对串空间理论的扩展,为其能够分析较复杂的安全协议打下了基础.
无线传感器网络、安全协议、形式化分析、串空间
32
TN918.1
四川省教育厅青年基金资助项目08zb025
2011-07-22(万方平台首次上网日期,不代表论文的发表时间)
共7页
139-145