期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于CSP的物联网David数字图书馆协议的改进与形式化分析 被引量:2
1
作者 吴名欢 程小辉 《计算机科学》 CSCD 北大核心 2014年第1期225-229,270,共6页
在分析了物联网通信节点使用的David数字图书馆通信协议运行的基础上,指出了此协议存在阅读器非法扫描标签和协议主体没有会话密钥的安全隐患,提出了解决安全隐患的方案。采用通信顺序进程(CSP)的形式化分析方法对提出的方案进行了建模... 在分析了物联网通信节点使用的David数字图书馆通信协议运行的基础上,指出了此协议存在阅读器非法扫描标签和协议主体没有会话密钥的安全隐患,提出了解决安全隐患的方案。采用通信顺序进程(CSP)的形式化分析方法对提出的方案进行了建模分析,对复杂环境下的攻击者和各协议主体建立了CSP进程。在实验中,攻击者在Dolev_Yao模型下对新的协议方案模型进行攻击,最后没有发现攻击点。实验结果表明,该协议方案能有效解决David数字图书馆协议的安全隐患,保证了协议主体的相互认证性以及会话密钥的安全性,证明了模型的可行性。 展开更多
关键词 物联网 形式化分析 David数字图书馆协议 通信顺序进程
下载PDF
低成本David的数字图书馆协议 被引量:1
2
作者 郭维 王立斌 《现代计算机》 2009年第6期29-31,共3页
概述RFID的结构,总结RFID系统中的安全需求,重点分析David的数字图书馆协议的缺陷,在此基础上提出了低成本David的数字图书馆协议,并分析改进后的协议的低成本问题、隐私性保护、同步问题、双向认证问题和Tag成本。
关键词 RFID系统 安全协议 隐私性 数字图书馆协议
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部