RFID安全协议形式化分析研究及DRAP协议的建立与实现

燕山大学硕士学位论文RFID安全协议形式化分析研究及DRAP协议的建立与实现姓名：胡游君申请学位级别：硕士专业：计算机软件与理论指导教师：李秋山20070301RFID安全协议形式化分析研究及DRAP协议的建立与实现作者：胡游君学位授予单位：燕山大学相似文献(10条)1.期刊论文蔡庆玲.詹宜巨.余松森.刘洋.CAIQingling.ZHANYiju.YUSongseng.LIUYang基于NTRU公钥密码系统的RFID通信安全协议的研究-中山大学学报（自然科学版）2009,48(5)提出使用NTRU公钥密码系统建立RFID通信安全协议.通过使用构造随机化函数对NTRU公钥密码系统的明文进行动态、随机化映射,使由其映射后的明文具有了动态、随机分布的特性,实现了对明文信息的隐蔽,抵御了对明文信息特性的统计,致使攻击者对所得信息及信息来源无法区分和识别.由此设计的安全协议不仅满足了RFID通信安全协议要求的保密性、认证性等基本功能,而且能够有效地解决流量分析、跟踪攻击、隐私泄漏等RFID系统特殊的安全问题.同时不需要穷尽搜索,不需要密钥同步,密钥存储、密钥管理系统简单,并且具有良好的可扩展性.2.期刊论文裴友林.余本功.PEIYou-lin.YUBen-gong基于随机Hash-Chain的RFID安全协议研究-微计算机信息2008,24(29)无线射频识别(RFID)作为一种新型的自动识别技术正逐渐得到广泛应用,但RFID系统的特点和RFID设备的局限性带来了很多安全隐患问题.针对这些问题,讨论并阐明RFID系统组成和安全隐患,分析了几种现有的典型的RFID安全协议的特点和缺陷,最后提出了一种基于随机Hash-Chain的RFID安全协议.3.学位论文裴友林RFID安全协议设计与研究2008无线射频识别(radiofrequencyidentification，简称RFID)技术是从上世纪八十年代兴起的一项非接触式自动识别技术。RFID技术目前被广泛应用于工业生产和日常生活的各个方面，但其在应用中还存在着不可忽视的隐患-缺乏安全机制，由于RFID系统的特点以及RFID设备的局限性，无法有效保护RFID标签中的数据信息。当前，RFID的安全性已经成为制约其大规模运用的重要因素。本文描述了RFID系统的基本组成和工作原理，分析了RFID系统所存在的安全隐患和隐私问题，并给出了RFID系统的安全需求。进而对RFID系统现有的安全协议进行了评估分析，指出其不足之处。在此基础上提出了基于密钥矩阵的RFID安全协议和基于随机Hash-Chain的RFID安全协议。基于密钥矩阵的RFID安全协议以提高安全协议执行效率为出发点，使用密钥矩阵来加密标签和阅读器之间传输的数据，并在认证后更新标签中密值，能有效抵抗多种攻击。基于随机Hash-Chain的RFID安全协议是对原有Hash-Chain安全协议的一种改进，有效地解决了原协议易受到重传攻击的缺陷，进一步加强了RFID系统的安全措施，保护RFID标签与读写器之间的数据交换。进而从协议安全性和执行性能两方面对两种RFID安全协议进行了详细的分析，并且和现有安全机制进行了比较。最后，在上述工作的基础上，给出了本文的贡献以及进一步的研究方向。4.期刊论文裴友林.杨善林.PEIYou-lin.YANGShan-lin基于密钥矩阵的RFID安全协议-计算机工程2008,34(19)无线射频识别(RFID)作为一种新型的自动识别技术正逐渐得到广泛应用,但RFID系统的特点和RFID没备的局限性带来了很多安全隐患问题.针对这些问题,讨论并阐明RFID的系统组成和安全隐患,分析了几种现有的典型的RFID安全协议的特点和缺陷,提出一种基于密钥矩阵的RFID安全协议.该协议使用密钥矩阵来加密标签和阅读器之间传输的数据,并在认证后更新标签中密值,能有效抵抗多种攻击.分析表明,该协议具有效率高、成本低、安全性高等特点.5.期刊论文杨灵.闫大顺基于PUF的低成本RFID系统安全协议-计算机工程2010,36(15)针对低成本无线射频识别(RFID)系统存在的安全性问题,提出一种基于PUF的低成本RFID安全协议.利用PUF的物理不可克隆性识别标签的身份,并利用线性反馈移位寄存器(LFSR)产生随机系列,加密阅读器与标签之间的通信,能抵抗重放攻击、跟踪攻击、物理攻击、窃听攻击等多种攻击.在AlteraDE2板上使用FPGA实现PUF和LFSR,采用QuartusII8.0编程.实验结果证明,该协议的执行时间和门电路数量能达到低成本标签的要求.6.期刊论文陈瑞鑫.邹传云.CHENRui-xin.ZOUChuan-yun基于相互认证的移动RFID安全协议-无线电通信技术2010,36(1)移动RFID系统是指利用植入RFID读写芯片的智能移动终端,获取标签中的信息,并通过移动网络,访问后台数据库,获取相关信息.然而,由于移动RFID系统的无线通信环境和无可视性读写,带来了很多安全隐患,已经成为制约移动RFID发展的重要因素,针对此问题,在分析了移动RFID网络构成及其安全隐患后,提出了一种基于相互认证的安全协议,该协议引入了一个第3方服务器来为移动读写器和后台数据库提供签名密钥,并且利用椭圆曲线加密体制(ECC)对信息进行签名验证,最后分析表明该协议可以为移动读写器与后台数据库提供安全的通信环境,以应对各种攻击.7.期刊论文贺蕾.甘勇.李娜娜.蔡增玉.HeLei.GanYong.LiNana.CaiZengyu一种基于逆hash链的RFID安全协议-计算机应用与软件2009,26(2)为解决低成本无线射频识别RFID标签和标签读写器之间通信的安全性问题,提出了一种基于逆hash链的RFID安全协议,并对其性能和安全性能进行了分析,说明该安全协议仅需要很少的计算资源和电力供应,并具有较高的安全性.8.学位论文林贵彬基于随机序列的RFID安全协议研究与设计2007RFID(Radiofrequencyidentification)无线射频识别技术是一种利用无线电射频进行信息通信的非接触式自动识别技术。它具有快速、可靠、菲视距读取、可工作于恶劣环境等优点，被广泛应用在很多其他技术无法取代的数据自动采集和物品识别领域。RFID用在供应链管理上，将会大大提高物流行业的效率，但若每个标签的编号和信息都能被任意地扫描获取，则会侵犯到物品持有者的隐私权。而在与安全有关的应用中，都必须采取安全措施以防坏人的蓄意攻击。文中介绍了RFID系统的结构，研究了RFID系统中可能存在的安全和隐私问题，详细分析比较了现有的各种RFID安全机制的优点和缺点，包括了物理方法和基于密码学方法的安全协议。在现有RFID安全协议的基础上，本文设计了一种新的基于随机序列的RFID安全协议，其特点是利用存储好的随机序列产生伪随机数的机制代替随机数产生器。该协议采用了阅读器和电子标签双方互相验证的机制，可以达到以下的目标：防止跟踪、防止非法阅读器读取标签数据、防止标签假冒、防止重放攻击、降低遭受拒绝服务攻击的可能性。实验证明，该方法利用较少的硬件资源可以产生周期较长的伪随机数，可有效简化电路，适合于低成本的电子标签系统。文中还建立了协议的理想化模型，利用BAN逻辑对该协议进行了形式化分析，从理论上分析和证明其安全性能。最后进行安全协议的仿真工作。文中使用VHDL硬件编程语言对电子标签进行电路设计，电子标签内部逻辑的控制功能使用状态机来完成。该设计将电子标签划分为四大模块，包括状态机、接收模块、发送模块和存储器，最后利用ModelSim软件进行电路的仿真，结果证明了设计的芯片电路可以完成安全协议的整个验证过程。9.期刊论文陈雁飞.马成勇.杨慧.ChenYanfei.MaChengyong.YangHui基于RFID系统的Reader-Tag安全协议的设计及分析-计算机与数字工程2008,36(9)国内外开展了很多加强RFlD安全隐私保护的研究,并提出了一系列的方法,如Hash锁、随机Hash锁和Hash链,但这些方法都有一定的缺陷.针对现有方法的不足,并结合现有的方法,设计并分析了一种新的基于RFID系统的Reader-Tag的安全协议.10.学位论文金鑫基于混沌映射的Hash函数在RFID安全协议中的应用2008无线射频识别（radiofrequencyidentification，RFID）技术是上世纪六、七十年代兴起的一种非接触式自动识别技术。RFID技术目前被广泛应用于工业生产和日常生活的各个方面，但由于RFID标签计算能力的限制而导致的安全机制的缺乏，使得RFID标签中的数据信息安全无法得到保障，从而限制了该技术在很多方面的应用。本文对RFID系统存在的安全问题和隐私问题进行了详细阐述，进而对无线射频系统现有的安全协议进行了评估分析，指出其不足之处。并在此基础上提出了带随机数的基于混沌映射理论的双Hash函数安全协议，用以保护RFID标签与读写器之间的数据交换及标签持有者的隐私安全，并对利用该安全机制所构造的协议进行了全面的分析，证明了其适用性。本文链接：授权使用：上海海事大学(wflshyxy)，授权号：302ba899-0586-40bf-b807-9e0900957911下载时间：2010年10月8日