检索结果-内蒙古大学图书馆

电子学报 2013年第11期41卷 2314-2316页

作者：彭昌勇朱创营黄莉祝跃飞王靳辉解放军信息工程大学网络空间安全学院河南郑州450002 解放军信息工程大学理学院河南郑州450002 桂林电子科技大学广西桂林510540 解放军信息工程大学科研部河南郑州450002

本文给出了分组密码的新的分析方法:形式化函数分析,即通过符号计算将密文形式地表示为明文和密钥的函数.作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击.对13轮LBlock的中间相遇攻击的时间复杂度为276.2次13轮LBlock加... 详细信息

本文给出了分组密码的新的分析方法:形式化函数分析,即通过符号计算将密文形式地表示为明文和密钥的函数.作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击.对13轮LBlock的中间相遇攻击的时间复杂度为276.2次13轮LBlock加密,数据复杂度为1个已知明文.优于Nicolas Courtois等人在FSE 2012上给出的8轮代数攻击,其数据复杂度为6个已知明文.

关键词：形式化函数分析形式化编码方法鲁班锁分组密码符号计算中间相遇攻击分组密码

来源：评论

学校读者我要写书评

暂无评论

面向低成本标签的RFID认证协议的研究

面向低成本标签的RFID认证协议的研究

引用

作者：陈秀清中国矿业大学

学位级别：博士

射频识别技术(Radio-frequency identification,RFID)是实现物联网(Internet of Things,Io T)的核心技术之一。如何解决RFID认证协议的安全隐私问题是射频识别技术的关键和难点。目前低成本RFID协议主要存在以下问题:不满足不可分辨性... 详细信息

射频识别技术(Radio-frequency identification,RFID)是实现物联网(Internet of Things,Io T)的核心技术之一。如何解决RFID认证协议的安全隐私问题是射频识别技术的关键和难点。目前低成本RFID协议主要存在以下问题:不满足不可分辨性、可扩展性差、不能自动化检测协议的安全性,尤其是针对实际应用环境的所有权转移协议缺少完善的安全模型,所以在完善后的所有权转移模型下设计协议的安全性更具有现实意义。在总结已有的研究成果基础上,对面向低成本标签RFID认证协议中的安全隐私关键问题进行研究,主要成果如下:(1)提出了强不可分辨性和弱不可分辨性的定义,分析了EOHLCAP协议和EMAP协议存在的问题,提出了EMAP+协议。EOHLCAP协议不满足强不可分辨性,存在追踪攻击;EMAP协议不满足弱不可分辨性,易遭受追踪攻击。研究结果显示:EMAP+协议同时可满足强不可分辨性和弱不可分辨性,能抵抗Do S攻击和追踪攻击,协议计算效率高,具有良好的可扩展性。(2)针对现有认证协议(尤其是所有权转移协议)的安全模型的建模不完善问题,通过定义前向、后向和强前向不可追踪性来完善不可追踪模型,在不可追踪模型下分析了三个RFID协议的不可追踪性,随后提出三个改进协议,并做了安全性分析和比较。本文在不可追踪模型下分析了NRS+协议和ACSP+协议的缺陷:NRS+协议易遭受读卡器假冒攻击、异步攻击和追踪攻击;ACSP+协议易遭受异步攻击、Do S攻击、假冒读卡器攻击和前向追踪攻击。为了解决这些问题,本文提出两个新协议NRS++和ACSP++。新协议在不可追踪模型下均满足前向和后向不可追踪性;可以抵抗读卡器假冒攻击、标签假冒攻击、Do S攻击、重放攻击和追踪攻击;NRS++和ACSP++协议与其他协议比较具有更好的性能。本文针对所有权转移的新旧所有者的隐私问题,提出了强前向不可追踪性定义,完善了不可追踪模型。研究发现,在完善的不可追踪模型下Doss等人提出了基于二次剩余定理的所有权转移协议能够满足强前向不可追踪性,但是他们的协议存在内部读卡器恶意攻击、标签假冒攻击和异步攻击,本文提出了改进的低成本LOTRP协议。安全分析表明:LOTRP协议可以抵抗假冒攻击、异步攻击、内部读卡器恶意攻击和追踪攻击;LOTRP协议在不可追踪模型下满足前向、后向和强前向不可追踪性;LOTRP协议比同类协议具有较好的安全性和较高的性能。(3)鉴于启发式分析方法不能自动化检测RFID协议的安全性,本文提出了能高效检测协议安全性的形式化编码方法,并以轻量级EMAP协议和超轻量级OTSUMR协议为例,使用该形式化编码方法分析了这两个协议存在密钥泄露攻击。结果表明使用形式化编码方法分析RFID协议更加高效准确,能够自动化检测协议的安全性。(4)为了解决现有物联网环境下现有轻量级协议的不安全问题和增加安全框架的可扩展性,Ray等人的SRSFP协议提出了快速高效验证标签的重清洗技术,但是存在安全缺陷且可扩展性差,本文提出了安全可扩展的支持Io T的SRSFP+协议,并进行了安全性分析。首先分析并发现了SRSFP协议存在标签假冒攻击、读卡器假冒攻击和追踪攻击,同时也不满足强前向不可追踪性等问题。其次,提出了一个采用标签重清洗技术的SRSFP+协议,并分析了新协议的安全性。研究结果显示了SRSFP+协议在不可追踪模型下满足前向、后向以及强前向不可追踪性,SRSFP+协议比其他协议提供了更好的安全性和可扩展性。

关键词： RFID认证协议不可分辨性可扩展性不可追踪模型形式化编码方法所有权转移

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：