基于CSP的物联网David数字图书馆协议的改进与形式化分析

摘要：

在分析了物联网通信节点使用的David数字图书馆通信协议运行的基础上,指出了此协议存在阅读器非法扫描标签和协议主体没有会话密钥的安全隐患,提出了解决安全隐患的方案.采用通信顺序进程(CSP)的形式化分析方法对提出的方案进行了建模分析,对复杂环境下的攻击者和各协议主体建立了CSP进程.在实验中,攻击者在Dolev_Yao模型下对新的协议方案模型进行攻击,最后没有发现攻击点.实验结果表明,该协议方案能有效解决David数字图书馆协议的安全隐患,保证了协议主体的相互认证性以及会话密钥的安全性,证明了模型的可行性.

关键词：物联网、形式化分析、David数字图书馆协议、通信顺序进程

所属期刊栏目：41

分类号：TP393.04(计算技术、计算机技术)

资助基金：国家自然基金项目61262075;广西高等学校重大科研项目20120120012;广西教育厅项目201010LX192

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

页数：共6页

页码：225-229,270