论文研究基于CK模型SNEP安全分析.pdf

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