物联网中安全通信协议的形式化分析

摘要：

针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析.该通信协议对传送的信息进行加密,采用的加密方式是散列函数结合异或运算.协议主体进行了相互认证,认证服务器为协议主体通信分配了会话密钥,解决了读写器非法扫描和信息安全传送的问题.利用故障发散改进检测器(FDR)对该协议模型CSP进程进行了检测,结果表明:该协议主体进行了相互认证,会话密钥是安全的,所提出的物联网通信协议是安全可靠的,CSP方法用于分析协议的安全性是可行的.

关键词：物联网、形式化分析、安全协议、通信顺序进程

所属期刊栏目：33

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家自然科学基金项目61262075;广西高校重大科研项目201201ZD012;广西矿冶与环境科学实验中心资助项目KH2011YB006

在线出版日期：2013-09-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：333-338