文件名称：论文研究-基于CK模型SNEP安全分析.pdf
文件大小：535KB
文件格式：PDF
更新时间：2022-09-28 11:15:48
论文研究
无线传感器网络（WSN）由于受节点特点限制，不适合采用公钥*进行数据加密以及身份认证等。SNEP协议是针对WSN特点提出的SPINS协议中的重要部分，主要负责基于可信基站的节点间会话密钥建立以及认证。采用可证明安全模型中的CK模型构建了一个理想模型下与现实模型下SNEP协议相对应的新协议，通过两种模型下的敌手ADV与UDV对它们进行形式化分析，得出SNEP协议构成了现实环境中安全通道的结论。