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

• 作者: 吴名欢 程小辉
• 来源期刊: 桂林理工大学学报
• 学科: 工学
• 关键词: 物联网 形式化分析 安全协议 通信顺序进程
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 电子与计算机应用
• 页码范围: 333-338
• 页数: 6页
• 分类号: TP309.2
• 字数: 3817字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-9057.2013.02.024

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程小辉	桂林理工大学广西矿冶与环境科学实验中心	91	420	10.0	16.0
5	吴名欢	桂林理工大学广西矿冶与环境科学实验中心	10	24	3.0	4.0