基于串空间无线传感器网络安全协议形式化方法研究

The research about security protocol is one of improtant topics in the field of wireless sensor network and strand space theory is a powerful tools in formal anlysis of security protocols. The topic focuses on the in-depth study of security protocol in wireless sensor network based on the strand space theory, the research include: (1) Proposes (2) Analyzes the secuirty of the wireless sensor network protocol, proposes a set of design criterion for security protocol in wireless sensor network. (3) Design the efficient and secure protocols. This research may contribute to obtain a formal analysis method of security protocol in wireless sensor network based on the strand space theory，and a efficient secure wireless sensor network protocol.

无线传感器网络的安全协议研究是传感器网络应用方面的重要研究课题之一，串空间理论是形式化分析协议安全性的有力工具。本课题基于串空间理论对传感器网络的安全协议进行深入研究，主要研究内容包括：（1）建立基于串空间无线传感器网络安全协议的形式化方法；（2）提出一套系统设计无线传感器网络安全协议的准则；（3）设计高效安全的无线传感器网络安全协议。通过本课题研究，建立基于串空间无线传感器网络安全协议的形式化方法，力争获得一个高效安全的无线传感器网络安全协议。

无线传感器网络的安全协议研究是传感器网络应用方面的重要研究课题之一，项目针对其中的协议设计以及形式化分析方法展开了研究。采用了类似于Kripke结构的状态转换系统，提出了一种协议的形式化分析方法。为改善协议的执行效率及安全性，提出了一个适用于移动环境的支付协议。针对无线传感网中传感节点计算能力弱的问题，提出基于双线性对的前向安全的门限部分盲签名方案。将双线性对、前向安全数字签名与代理签名相结合，构造了一个基于双线性对的具有前向安全性的代理签名方案，提出了一种基于双线性对和离散对数的盲签名方案。最后设计了一个适用于智能家居环境的安全协议并对其进行了安全性证明问题。