移动型RFID安全协议及其GNY逻辑分析 被引量：6

1

作者 王新锋 刘建国 +1 位作者 蒋旭 刘胜利 《计算机应用》 CSCD 北大核心 2008年第9期2239-2241,共3页

针对现有基于Hash函数无线射频识别(RFID)安全协议移动性差、不能满足某些应用领域需求的不足,提出一种移动型RFID安全协议,并利用GNY逻辑进行了证明。分析表明,移动型RFID安全协议移动性强,具备一定的安全性,适用于民用物流运输途中、... 针对现有基于Hash函数无线射频识别(RFID)安全协议移动性差、不能满足某些应用领域需求的不足,提出一种移动型RFID安全协议,并利用GNY逻辑进行了证明。分析表明,移动型RFID安全协议移动性强,具备一定的安全性,适用于民用物流运输途中、军事应用中在运资产、战时野战环境等对读写器移动性要求高的领域。 展开更多

关键词 无线射频识别 安全协议 gny逻辑

在线阅读 下载PDF 职称材料

一种改进的超轻量级RFID所有权转移协议 被引量：18

2

作者 沈金伟 凌捷 《计算机科学》 CSCD 北大核心 2014年第12期125-128,共4页

针对RFID所有权转移协议中存在的拒绝服务攻击漏洞,提出了一种改进的超轻量级RFID所有权转移协议,并给出了基于GNY逻辑的协议安全性证明。通过改进协议的交互方式,实现了阅读器和标签的双向认证功能,解决了攻击者重放消息造成的拒绝服... 针对RFID所有权转移协议中存在的拒绝服务攻击漏洞,提出了一种改进的超轻量级RFID所有权转移协议,并给出了基于GNY逻辑的协议安全性证明。通过改进协议的交互方式,实现了阅读器和标签的双向认证功能,解决了攻击者重放消息造成的拒绝服务攻击漏洞等问题,提高了阅读器和标签在开放环境中通信的保密性。对协议的安全性分析和性能比较分析表明,该协议不仅满足所有权转移的安全要求,而且具有超轻量的特点,适合于移动身份认证环境中的实际应用。 展开更多

关键词 rfid 拒绝服务攻击 超轻量级 所有权转移议 gny逻辑

在线阅读 下载PDF 职称材料

读写器可移动的RFID高效认证协议 被引量：4

3

作者 张亚玲 张超奇 马巧梅 《计算机工程》 CAS CSCD 2012年第1期264-267,共4页

无线射频识别(RFID)对后端数据库的搜索效率低,且读写器的移动性差。针对该问题,基于ElGamal重加密算法,提出一种读写器可离线工作的RFID安全协议,利用GNY逻辑证明该协议的安全性。理论分析结果表明,其能抵抗重传攻击、去同步化攻击、... 无线射频识别(RFID)对后端数据库的搜索效率低,且读写器的移动性差。针对该问题,基于ElGamal重加密算法,提出一种读写器可离线工作的RFID安全协议,利用GNY逻辑证明该协议的安全性。理论分析结果表明,其能抵抗重传攻击、去同步化攻击、假冒攻击、针对标签的隐私攻击,减少后端数据库的搜索次数,降低Hash计算量,提高执行效率。 展开更多

关键词 无线射频识别 认证协议 ElGamal算法 HASH函数 gny逻辑

在线阅读 下载PDF 职称材料

基于假名标识的加密RFID系统无线密钥生成协议 被引量：6

4

作者 苏庆 李倩 +1 位作者 彭家进 刘富春 《计算机工程》 CAS CSCD 北大核心 2017年第8期173-177,183,共6页

针对无线射频识别(RFID)系统密钥生成过程中存在的密钥托管、无线信道不安全和标签成本过高的问题,提出一种RFID系统密钥无线生成协议。在前、后向信道均可被窃听的假设前提下,通过引入假名标识以防止秘密信息泄露,仅采用简单位运算降... 针对无线射频识别(RFID)系统密钥生成过程中存在的密钥托管、无线信道不安全和标签成本过高的问题,提出一种RFID系统密钥无线生成协议。在前、后向信道均可被窃听的假设前提下,通过引入假名标识以防止秘密信息泄露,仅采用简单位运算降低标签成本与计算量,利用异或和移位运算对通信信息进行加密传输,从而保证协议的安全性,并运用GNY逻辑对协议进行形式化证明。分别在单标签个体密钥生成、批量标签个体密钥生成以及群组标签组密钥生成3种应用下对协议进行安全与性能分析,结果表明,该协议具有较高的安全性和较低的成本。 展开更多

关键词 无线射频识别 密钥生成 密钥托管 假名标识 加密 窃听 gny逻辑

在线阅读 下载PDF 职称材料

EPC编码标签的RFID系统密钥无线生成 被引量：5

5

作者 张晶晶 吴伟民 《计算机工程与应用》 CSCD 北大核心 2018年第14期133-137,共5页

针对目前RFID系统的认证协议都是在事先设置好的共享密钥值基础上的,敌手可以通过一些手段获取密钥而对后续的认证造成安全威胁,提出了一种基于EPC编码标签的RFID系统密钥无线生成协议。将部分EPC加密进行通信,防止秘密信息泄露;引入标... 针对目前RFID系统的认证协议都是在事先设置好的共享密钥值基础上的,敌手可以通过一些手段获取密钥而对后续的认证造成安全威胁,提出了一种基于EPC编码标签的RFID系统密钥无线生成协议。将部分EPC加密进行通信,防止秘密信息泄露;引入标签与阅读器的安全模型,提高通信的安全性;阅读器随机数保持通信过程的新鲜性;仅采用异或运算降低标签成本与计算量。通过GNY逻辑对协议进行形式化证明,安全分析和性能分析表明,该协议符合安全模型并能够抵抗主动攻击和被动攻击,具有安全性高、低成本的特点。 展开更多

关键词 射频识别 共享密钥 电子产品码(EPC)编码 gny逻辑 安全模型

在线阅读 下载PDF 职称材料

基于共享密钥的超轻量RFID标签所有权转移协议 被引量：5

6

作者 苏庆 李倩 +2 位作者 张俊源 彭家进 黄少聪 《计算机工程与应用》 CSCD 北大核心 2018年第4期98-102,121,共6页

针对无线射频识别(RFID)标签所有权转移存在的效率、成本和安全问题,提出一种基于共享密钥的超轻量RFID标签所有权转移协议。采用Cro(X,Y)交叉位运算、XOR异或与Rot(X,Y)循环移位运算相结合的方法对传输信息加密,达到超轻量级别;通过标... 针对无线射频识别(RFID)标签所有权转移存在的效率、成本和安全问题,提出一种基于共享密钥的超轻量RFID标签所有权转移协议。采用Cro(X,Y)交叉位运算、XOR异或与Rot(X,Y)循环移位运算相结合的方法对传输信息加密,达到超轻量级别;通过标签和读写器端共享密钥来加密信息,减少信息的引入与存储,降低标签成本;利用随机数动态更新和Flag哨兵位不可逆机制,来抵抗去同步化、拒绝服务等常见攻击。并基于GNY逻辑对协议进行形式化证明。最后通过安全与性能分析,表明协议具有高效率、低成本、高安全的特点。 展开更多

关键词 无线射频识别(rfid) 共享密钥 超轻量级 所有权转移 Flag哨兵位 gny逻辑

在线阅读 下载PDF 职称材料

基于R-LWE密码体制的RFID认证协议研究 被引量：4

7

作者 刘涛 贾浪峰 郭苹 《机床与液压》 北大核心 2021年第13期13-18,24,共7页

针对现有射频识别(RFID)系统不能抵抗量子攻击、安全效率低、隐私泄露等问题,提出一种基于R-LWE密码体制的RFID相互认证协议。该协议能够抵抗量子攻击,并且密钥短、加解密速度快、存储空间小。通过使用基于R-LWE的密码体制对标签的ID进... 针对现有射频识别(RFID)系统不能抵抗量子攻击、安全效率低、隐私泄露等问题,提出一种基于R-LWE密码体制的RFID相互认证协议。该协议能够抵抗量子攻击,并且密钥短、加解密速度快、存储空间小。通过使用基于R-LWE的密码体制对标签的ID进行加密处理,在标签中直接保存密文信息,并加入随机数,可以保证加密信息的新鲜性和不确定性。与标签认证协议相结合,不仅解决了假冒攻击、重放攻击、拒绝服务攻击等安全问题,而且实现了标签、阅读器、后端数据库之间的相互认证。与其他协议相比,该协议不仅安全性和计算效率高,而且适合用于资源受限的低成本标签。通过GNY逻辑对协议进行形式化证明,表明了该协议的可行性。 展开更多

关键词 R-LWE 射频识别(rfid) 认证协议 量子攻击 gny逻辑

在线阅读 下载PDF 职称材料

一种抗恶意攻击的RFID双向认证协议 被引量：1

8

作者 张顺 陈海进 《计算机工程与应用》 CSCD 2012年第25期112-117,共6页

针对现有无线射频识别(RFID)认证机制存在的安全缺陷,提出一种新型抗恶意攻击的RFID双向认证协议,并基于GNY逻辑给出了协议的安全性证明。该协议将公钥加密算法和对称密钥加密算法相结合,采用阅读器双重认证及预认证阶段刷新密钥的方法... 针对现有无线射频识别(RFID)认证机制存在的安全缺陷,提出一种新型抗恶意攻击的RFID双向认证协议,并基于GNY逻辑给出了协议的安全性证明。该协议将公钥加密算法和对称密钥加密算法相结合,采用阅读器双重认证及预认证阶段刷新密钥的方法,通过在标签中添加保护密钥同步的恶意攻击标记Tm,解决了当前协议中存在的认证效率较低,标签密钥更新失败导致位置跟踪和非法更新标签/服务器内部密钥造成拒绝服务(DoS)等问题,可抵抗重传,标签/阅读器假冒,通信量分析和去同步化等多种恶意攻击。分析结果表明:该协议具有安全性好,效率高,计算复杂度低等特点,适合于标签的大规模应用。 展开更多

关键词 无线射频识别 恶意攻击 隐私保护 认证协议 可扩展性 gny逻辑

在线阅读 下载PDF 职称材料

基于部分假名ID的RFID系统密钥无线生成算法 被引量：7

9

作者 王金茹 《计算机工程与应用》 CSCD 北大核心 2018年第1期128-132,共5页

针对现有无线射频识别系统密钥生成算法中WiKey算法存在的安全与成本问题,提出了一种改进的基于部分假名ID的RFID系统密钥无线生成算法。在后向信道也可被窃听的情况下,加入部分假名ID信息以减少其他信息引入,并在一定程度上防止标签真... 针对现有无线射频识别系统密钥生成算法中WiKey算法存在的安全与成本问题,提出了一种改进的基于部分假名ID的RFID系统密钥无线生成算法。在后向信道也可被窃听的情况下,加入部分假名ID信息以减少其他信息引入,并在一定程度上防止标签真实标识信息泄露;利用异或运算和双向认证机制对秘密数据进行加密传输及验证,使算法可以抵抗主动、被动攻击。最后,通过三种不同情况下的GNY逻辑证明和安全与性能分析表明算法的可行性。 展开更多

关键词 无线射频识别(rfid) 密钥生成 WiKey算法 假名 双向认证 gny逻辑

在线阅读 下载PDF 职称材料

基于激活标志位的改进RFID密钥无线生成算法 被引量：1

10

作者 杨俊 邹志革 《计算机应用研究》 CSCD 北大核心 2019年第11期3415-3418,3427,共5页

针对现有三种常见无线射频识别密钥无线生成场景下,设计的相应密钥生成算法中存在的算法理论证明缺失、重放攻击、密钥伪造攻击以及RFID标签身份ID泄露的安全性问题,设计了更安全的基于激活标志位的改进RFID系统密钥无线生成算法。改进... 针对现有三种常见无线射频识别密钥无线生成场景下,设计的相应密钥生成算法中存在的算法理论证明缺失、重放攻击、密钥伪造攻击以及RFID标签身份ID泄露的安全性问题,设计了更安全的基于激活标志位的改进RFID系统密钥无线生成算法。改进算法仅基于多种超轻量级位运算来组合构建安全的算法框架、降低成本和提高效率;利用激活标志位AckBit机制以及新鲜性机制抵抗重放、密钥伪造攻击;通过完整GNY逻辑证明过程与安全性对比进行分析,证明了目标算法的安全可行性。最后,给出原算法与改进算法之间的标签成本代价对比,表明改进算法在满足低成本的条件下具有更高的安全性。 展开更多

关键词 无线射频识别 密钥无线生成 更安全 激活标志位 gny逻辑证明

在线阅读 下载PDF 职称材料

基于Hash函数的抵御失去同步RFID安全认证协议 被引量：1

11

作者 郑莹 欧阳丹彤 +1 位作者 何丽莉 白洪涛 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2015年第3期499-504,共6页

针对无线射频识别(RFID)技术存在的同步安全隐患,提出一种新的基于单向Hash函数的安全认证协议,以解决存在于RFID系统中的各种安全问题,并对提出的协议进行基于GNY逻辑的形式化证明和对比分析.结果表明,该协议可有效解决窃听、重放攻击... 针对无线射频识别(RFID)技术存在的同步安全隐患,提出一种新的基于单向Hash函数的安全认证协议,以解决存在于RFID系统中的各种安全问题,并对提出的协议进行基于GNY逻辑的形式化证明和对比分析.结果表明,该协议可有效解决窃听、重放攻击、失去同步等安全问题,在能耗、安全与性能方面优于当前其他主流协议. 展开更多

关键词 rfid HASH函数 协议 gny逻辑

在线阅读 下载PDF 职称材料

基于循环分组的RFID群组标签所有权转移协议 被引量：1

12

作者 沈金伟 赵一 +1 位作者 梁春林 张萍 《信息网络安全》 CSCD 北大核心 2020年第9期102-106,共5页

文章设计了一种循环分组函数,并基于该函数提出一种改进的RFID群组标签所有权转移协议,给出了基于GNY逻辑的协议安全性证明。新协议标签端不需要伪随机数发生器,具有超轻量级特性,同时改进了协议交互方式,解决了拒绝服务攻击漏洞问题。... 文章设计了一种循环分组函数,并基于该函数提出一种改进的RFID群组标签所有权转移协议,给出了基于GNY逻辑的协议安全性证明。新协议标签端不需要伪随机数发生器,具有超轻量级特性,同时改进了协议交互方式,解决了拒绝服务攻击漏洞问题。该协议能够抵抗数学分析攻击等常见的恶意攻击,协议标签端计算量更少,性能更优越。 展开更多

关键词 rfid 群组 所有权转移议 gny逻辑

在线阅读 下载PDF 职称材料

一种防标签身份泄露的RFID系统密钥生成算法 被引量：2

13

作者 汪金龙 王建芳 《计算机工程与应用》 CSCD 北大核心 2019年第4期119-124,共6页

针对现有无线射频识别系统密钥生成算法中存在的标签身份信息泄露问题、密钥伪造攻击的安全性问题、标签计算代价较高的成本问题以及算法理论证明过程缺失问题等,分别设计了在三种常见场景下适用的防标签隐私泄露的RFID系统密钥无线生... 针对现有无线射频识别系统密钥生成算法中存在的标签身份信息泄露问题、密钥伪造攻击的安全性问题、标签计算代价较高的成本问题以及算法理论证明过程缺失问题等,分别设计了在三种常见场景下适用的防标签隐私泄露的RFID系统密钥无线生成算法。通过给出算法完整的GNY模型、假设模型、安全模型,证明了算法的合理性与可行性。最后,在相关算法之间进行算法安全性、标签成本对比分析,表明新的算法具有更高的安全性和更低的成本。 展开更多

关键词 无线射频识别 密钥生成 身份泄露 密钥伪造 gny逻辑

在线阅读 下载PDF 职称材料

轻量级RFID群组标签生成协议 被引量：14

14

作者 段艳萍 《控制工程》 CSCD 北大核心 2020年第4期751-757,共7页

标签在使用过程中,其所有者会经常发生变化,为确保标签中隐私信息的安全,当标签所有者发生变化时,其所有权归属者也该相对应的变更。针对现有的大多数所有权转移协议一次仅能变更单个标签的所有权,无法满足一次通信变更多个标签所有权... 标签在使用过程中,其所有者会经常发生变化,为确保标签中隐私信息的安全,当标签所有者发生变化时,其所有权归属者也该相对应的变更。针对现有的大多数所有权转移协议一次仅能变更单个标签的所有权,无法满足一次通信变更多个标签所有权的需求,给出一种适用于标签组的转移协议。协议采用单向伪随机函数作为信息加密算法,可有效降低系统整体计算量;引入Mark标识,根据该标识的数据进行不同类型的操作,以增加攻击者破解难度。将协议与其他协议进行安全及性能两方面比较,协议满足用户所需的安全要求,同时具备系统整体计算量较低的特征;基于GNY对协议进行形式化推理分析,协议具备完整的推导证明过程。 展开更多

关键词 无线射频识别 群组 Mark标识 标签 gny形式化逻辑

在线阅读 下载PDF 职称材料

无后台服务器的射频识别标签安全查询协议 被引量：1

15

作者 周景贤 李昊 +2 位作者 周亚建 李国友 张淼 《电子与信息学报》 EI CSCD 北大核心 2012年第11期2582-2586,共5页

在许多射频识别(RFID)应用中,经常需要在多个标签中确定某个特定标签是否存在。在这种环境下,标签查询协议必不可少。然而,已有的协议要么存在安全漏洞,要么查询效率低下。利用Hash函数和时间戳,提出一个无后台服务器的RFID标签查询协议... 在许多射频识别(RFID)应用中,经常需要在多个标签中确定某个特定标签是否存在。在这种环境下,标签查询协议必不可少。然而,已有的协议要么存在安全漏洞,要么查询效率低下。利用Hash函数和时间戳,提出一个无后台服务器的RFID标签查询协议。GNY逻辑被用于证明新协议的正确性。分析显示提出的协议可以高效的实现特定标签的查询,且能够抵抗一些主要攻击,实现对标签隐私的保护。 展开更多

关键词 射频识别 查询协议 gny逻辑 追踪攻击

在线阅读 下载PDF 职称材料

基于Hash函数的移动射频识别互认证安全协议设计 被引量：10

16

作者 刘鹏 张昌宏 欧庆于 《计算机应用》 CSCD 北大核心 2013年第5期1350-1352,共3页

为解决移动射频识别(RFID)中阅读器与后端服务器分离所产生的安全问题,设计出一种基于Hash的轻量级认证协议,在无线通信环境下利用Hash的单向性实现标签、阅读器和后端服务器之间三方的互相认证,防止重放攻击、非法读取、位置跟踪等一... 为解决移动射频识别(RFID)中阅读器与后端服务器分离所产生的安全问题,设计出一种基于Hash的轻量级认证协议,在无线通信环境下利用Hash的单向性实现标签、阅读器和后端服务器之间三方的互相认证,防止重放攻击、非法读取、位置跟踪等一系列安全问题的发生;并将计算的主要成本转移到后端服务器,减小大规模应用标签的开支。对协议进行GNY逻辑推理,证明其安全性足够满足应用的要求。 展开更多

关键词 移动rfid 互认证 HASH函数 形式化分析 轻量级 gny逻辑

在线阅读 下载PDF 职称材料

轻量级的无线射频识别安全认证协议 被引量：5

17

作者 张顺 陈海进 《计算机应用》 CSCD 北大核心 2012年第7期2010-2014,共5页

针对现有无线射频识别(RFID)认证协议存在的安全缺陷,提出了一种新的轻量级RFID安全认证协议,并基于GNY逻辑给出了形式化证明。协议采用阅读器双重认证及预认证阶段刷新密钥的方法,通过在标签中添加保护密钥同步的恶意攻击标记Tm,解决... 针对现有无线射频识别(RFID)认证协议存在的安全缺陷,提出了一种新的轻量级RFID安全认证协议,并基于GNY逻辑给出了形式化证明。协议采用阅读器双重认证及预认证阶段刷新密钥的方法,通过在标签中添加保护密钥同步的恶意攻击标记Tm,解决了当前协议中存在的可扩展性欠佳、标签密钥更新失败导致位置跟踪和非法更新标签/服务器内部密钥造成拒绝服务(DoS)等问题,可抵抗重传、标签/阅读器假冒和通信量分析等多种恶意攻击,尤其防范来自位置隐私泄露和拒绝服务的安全威胁。分析结果表明,所提协议具有低成本、安全性高、计算复杂度低等特点,适合于标签数目较多的RFID系统。 展开更多

关键词 无线射频识别 隐私保护 认证协议 可扩展性 gny逻辑

在线阅读 下载PDF 职称材料

基于自组合交叉位运算的超轻量移动认证协议 被引量：3

18

作者 汪小威 卢志翔 陆涛 《计算机工程与设计》 北大核心 2017年第12期3252-3257,共6页

针对无线射频识别(RFID)系统移动认证中存在的系统成本较高、无线通信不安全等问题,提出一种超轻量级移动RFID认证协议。给出自组合交叉位运算的定义,结合移位、异或运算加密秘密通信数据,使协议达到超轻量级别,降低系统成本;以完整三... 针对无线射频识别(RFID)系统移动认证中存在的系统成本较高、无线通信不安全等问题,提出一种超轻量级移动RFID认证协议。给出自组合交叉位运算的定义,结合移位、异或运算加密秘密通信数据,使协议达到超轻量级别,降低系统成本;以完整三方认证过程为基础,利用随机数的新鲜性原则实现三方密钥更新机制,保证系统安全性。GNY逻辑形式化证明表明了该协议的有效可达性,安全性描述分析与性能对比统计验证了该协议具有高安全、低成本特性。 展开更多

关键词 移动 无线射频识别 自组合交叉位运算 超轻量级 三方认证 密钥更新 gny逻辑

在线阅读 下载PDF 职称材料

一种具备原所有者无关性的无线射频识别标签所有权转换协议

19

作者 贺蕾 李娜娜 +1 位作者 甘勇 尹毅峰 《科学技术与工程》 北大核心 2014年第25期263-266,共4页

针对标签所有权转换过程中的信息安全问题,提出了一种具备原所有者无关性的标签所有权转换协议。协议中主要包含原所有者、新所有者、标签和可信第三方四个通信实体。采用GNY逻辑对该协议的安全性进行了分析,结果表明该协议能够将原所... 针对标签所有权转换过程中的信息安全问题,提出了一种具备原所有者无关性的标签所有权转换协议。协议中主要包含原所有者、新所有者、标签和可信第三方四个通信实体。采用GNY逻辑对该协议的安全性进行了分析,结果表明该协议能够将原所有者对标签的所有权转交给新所有者;并能抵御跟踪攻击、重放攻击、中间人攻击和去同步化攻击,保护标签信息的前向安全和后向安全,提供原所有者无关性。对该协议进行了仿真实现,获取了标签计算耗时等数据。经过与其他协议的数据进行对比,该协议中标签的计算耗时较短,适用于低成本标签。 展开更多

关键词 无线射频识别 所有权转换 协议 原所有者无关性 gny逻辑

在线阅读 下载PDF 职称材料

基于伪随机函数的移动射频识别认证协议 被引量：4

20

作者 张琪 梁向前 位书敏 《计算机应用》 CSCD 北大核心 2015年第4期977-980,共4页

为解决移动射频识别(RFID)中阅读器和后端服务器之间因无线传输出现的安全问题,提出一种基于伪随机函数的移动RFID双向认证协议。该协议满足EPC Class-1 Generation-2行业标准,且实现了标签、阅读器和后端服务器之间的双向认证,并通过GN... 为解决移动射频识别(RFID)中阅读器和后端服务器之间因无线传输出现的安全问题,提出一种基于伪随机函数的移动RFID双向认证协议。该协议满足EPC Class-1 Generation-2行业标准,且实现了标签、阅读器和后端服务器之间的双向认证,并通过GNY逻辑证明了其安全性。该协议能有效抵抗追踪、重放、同步化等攻击,而且它将主要计算转移到后端服务器,因此能降低标签的运算量和标签成本。 展开更多

关键词 移动射频识别 伪随机函数 双向认证 gny逻辑

在线阅读 下载PDF 职称材料