论文部分内容阅读
模型检验方法在有线网安全协议的分析和设计方面取得了巨大成功。无线传感器网络对安全协议同样具有严格的要求；与有线网相比，无线传感器网络在通信环境和网络节点等方面都更为脆弱，为相应的安全协议的分析和设计提出了挑战。提出了一种适用于无线传感器网络的安全协议形式化建模分析方法。它充分借鉴了传统有线网络安全协议的建模方法，在其基础上充分考察了无线传感器网络的通信环境以及网络节点，建立起一个全面并且直观的安全协议运行模型。以A.Perrig等人提出的SPINS安全协议为例，应用模型检验工具SPIN对其认证性和机密性等