基于CK模型SNEP安全分析

摘要：

无线传感器网络(WSN)由于受节点特点限制,不适合采用公钥体制进行数据加密以及身份认证等.SNEP协议是针对WSN特点提出的SPINS协议中的重要部分,主要负责基于可信基站的节点间会话密钥建立以及认证.采用可证明安全模型中的CK模型构建了一个理想模型下与现实模型下SNEP协议相对应的新协议,通过两种模型下的敌手ADV与UDV对它们进行形式化分析,得出SNEP协议构成了现实环境中安全通道的结论.

关键词：SNEP协议、CK模型、敌手、安全通道

所属期刊栏目：48

分类号：TP393(计算技术、计算机技术)

资助基金：合肥工业大学博士专项基金GDBJ2009-005

在线出版日期：2012-12-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：118-121,202