物联网无线传感网络安全协议建模研究

Research of wireless sensor network security protocols establishment of Internet of things

主要针对物联网无线传感网络安全协议的构建展开研究,对物联网体系结构进行分析,抽象出符合物联网物理特征和应用要求的通信主体,提出一种基于物联网通信主体要求和特征的安全协议,证明该安全协议满足AM模型中的SK安全.

This article mainly aims at security protocol automation analysis and verification of the attacker problems.It is discussed the attacker model in the communication Communicating Sequential order process(CSP) Processes firstly.Further,the model is an open,extensible,concern with synchronous and construction principles,uses formalism method to descript it.At last,the model uses this specific construction principle to attack a security protocol to test the model,and lay a basis on application of automation analysis and design security protocol.