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

• 作者: 吴名欢 程小辉
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 物联网 形式化分析 David数字图书馆协议 通信顺序进程
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 信息安全
• 页码范围: 225-229,270
• 页数: 6页
• 分类号: TP393.04
• 字数: 6815字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程小辉	桂林理工大学信息科学与工程学院	91	420	10.0	16.0
2	吴名欢	桂林理工大学信息科学与工程学院	10	24	3.0	4.0