收藏本站
《2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)》2006年
收藏 | 手机打开
二维码
手机客户端打开本文

低成本RFID系统安全协议设计及其形式化分析

李秋山  胡游君  
【摘要】:目前还没有集安全、高效、实用、低成本于一身的RFID安全协议,本文简单介绍了RFID系统和RFID安全协议,在介绍分析了当前被认为是稳定性、安全性较好的数字图书馆RFID协议后对其进行修改,提出了一个利用“共享密钥对”保证安全认证的思路,在省去了Tag中随机数产生模块降低生产成本的同时也保证了通信安全。

手机知网App
【共引文献】
中国期刊全文数据库 前10条
1 张彩霞;程良伦;;基于Hash的RFID安全协议的设计[J];包装工程;2009年01期
2 胡向东;李科;柏松;安东阳;;射频识别系统安全性设计[J];重庆邮电大学学报(自然科学版);2008年01期
3 周治国;李文印;李同;邓春燕;曹耀夫;;基于RFID的新型机动车号牌及自动识别系统[J];吉林大学学报(信息科学版);2008年04期
4 王文闯;王可人;;一种基于动态密钥的低成本射频识别标签安全方案[J];电讯技术;2008年03期
5 周治国;李文印;李同;邓春燕;;基于RFID的汽车号牌自动识别系统的安全性设计[J];东北师大学报(自然科学版);2008年02期
6 刘慧芳;;基于串空间模型的Andrew安全RPC协议分析[J];电脑编程技巧与维护;2012年04期
7 孙培彦;田卫萍;杨树青;;影响RFID数据安全的因素分析[J];电脑开发与应用;2009年05期
8 李志全;王猛;苑苗苗;;基于Hash函数的RFID安全认证协议研究[J];电脑开发与应用;2011年07期
9 曹进;;计算机协议安全漏洞及其防护[J];电脑知识与技术;2006年26期
10 杨邓奇;;基于ECDSA多播数据源认证协议设计及其BAN逻辑分析[J];电脑知识与技术(学术交流);2007年13期
中国重要会议论文全文数据库 前8条
1 戴清杰;潘俊涛;段凯科;余治兵;王猛;;RFID安全技术研究[A];四川省通信学会2011年学术年会论文集[C];2011年
2 徐天岭;王景中;袁开国;杨义先;;基于USB-KEY的P2P保密通信研究与实现[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
3 彭朋;韩伟力;赵一鸣;周建锁;董浩然;;基于RFID的物联网安全需求研究[A];全国计算机安全学术交流会论文集·第二十五卷[C];2010年
4 罗晖;;基于RFID的物业管理系统设计[A];第六届全国信息获取与处理学术会议论文集(3)[C];2008年
5 苏士娟;石为人;周伟;石欣;;普适计算环境下无线传感器网络与RFID融合的安全机制研究[A];2010中国仪器仪表与测控技术大会论文集[C];2010年
6 贺琦;鲁昌华;侯锋平;;基于指纹识别与数字签名的身份认证系统设计[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
7 赵婷;王健;;基于Hash函数的RFID动态认证协议[A];2010年全国通信安全学术会议论文集[C];2010年
8 宋亚峰;马艳钦;陈利羽;姜勇;吴健蕾;杨海波;张海燕;;基于RFID技术的核燃料储运一体化管控平台[A];中国核科学技术进展报告(第二卷)——中国核学会2011年学术年会论文集第10册(核情报(含计算机技术)分卷、核技术经济与管理现代化分卷)[C];2011年
中国博士学位论文全文数据库 前10条
1 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
2 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
3 李建成;射频识别系统空中接口通信协议关键技术研究与实现[D];国防科学技术大学;2011年
4 张忠;面向群体的数字签名体制及其应用研究[D];山东大学;2011年
5 刘益和;应用区域边界安全体系结构的模型研究[D];四川大学;2005年
6 肖迪;混沌理论在数字产品安全中的应用研究[D];重庆大学;2005年
7 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
8 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
9 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
10 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 乌东建;基于AVR的RFID阅读器和应答器的设计研究与实现[D];哈尔滨工程大学;2010年
3 张锦涛;RFID系统标签隐私保护物理机制的研究[D];长沙理工大学;2010年
4 崔玉胜;融合安全机制的RFID防碰撞协议研究[D];南昌大学;2010年
5 张小龙;安全协议形式化描述语言的设计与解析[D];解放军信息工程大学;2009年
6 鲁文静;异构无线融合网络中通用接入认证协议研究[D];解放军信息工程大学;2009年
7 赵斌;无后端数据库的RFID安全认证和搜索协议研究[D];西安电子科技大学;2011年
8 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
9 徐京;RFID技术在发电厂管理信息系统中的应用研究[D];北方工业大学;2010年
10 付小丽;高效的RFID安全协议研究与设计[D];武汉理工大学;2011年
【相似文献】
中国期刊全文数据库 前10条
1 慕建君;;一种形式化分析安全协议的新模型[J];西安电子科技大学学报;2006年03期
2 付宇;马自堂;王惠芳;;安全协议形式化混合分析技术的研究与应用[J];计算机工程;2006年17期
3 刘培,周明天;基于串空间的认证协议分析[J];实验科学与技术;2005年03期
4 韩继红;范钰丹;王亚弟;郭渊博;;一种基于语义的安全协议形式化模型[J];计算机科学;2009年02期
5 胡声洲;余敏;彭文灵;;安全协议的关联性研究[J];计算机工程;2007年21期
6 周鹏;林华;;基于SVO逻辑的SNMP协议的改进及形式化分析[J];湖南科技学院学报;2011年08期
7 陈浩;程娜;何大可;;ISI支付协议的Strand Space模型及其公平性分析[J];信息安全与通信保密;2006年10期
8 李肖坚;赵沁平;;一种面向组播的双向身份鉴别与授权协议[J];计算机研究与发展;2006年11期
9 张超;韩继红;王亚弟;朱玉娜;;改进的安全协议一阶逻辑模型[J];计算机工程与应用;2008年26期
10 刘玉坤;赵伟艇;;NS公钥协议新的分析方法[J];电脑知识与技术;2010年12期
中国重要会议论文全文数据库 前10条
1 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
2 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
3 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
4 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
5 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
6 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
8 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
9 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
10 董卫;王婷婷;;基于运行模式法的安全协议分析[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
中国重要报纸全文数据库 前10条
1 ;802.1AE保护局域网安全[N];网络世界;2005年
2 郭莹;CTBS实现安全高速远程接入[N];中国计算机报;2007年
3 朱建军;客户端VPN安全十法则[N];计算机世界;2006年
4 ;天融信打造坚实的VPN方案[N];网络世界;2003年
5 于卫;创造WAP上的ISP[N];计算机世界;2000年
6 ;安全与隐私兼得[N];网络世界;2002年
7 本报记者 谌力;事务处理系统走向SOA[N];网络世界;2005年
8 张彤;以其人之道还治其人之身[N];网络世界;2007年
9 清华大学计算机系 陈渝;ACI中的安全问题[N];计算机世界;2001年
10 北京市科委保密委员会主办;网络信息安全与保密的层次结构[N];北京科技报;2000年
中国博士学位论文全文数据库 前10条
1 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
3 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
4 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
5 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
6 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
7 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
8 杨超;无线网络协议的形式化分析与设计[D];西安电子科技大学;2008年
9 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
10 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
2 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
3 尹学永;调和两种观点的安全协议形式化分析方法研究[D];山东大学;2009年
4 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
5 朱文也;安全协议形式化分析关键问题研究[D];解放军信息工程大学;2009年
6 陈强;安全协议的形式化分析研究[D];清华大学;2005年
7 胡游君;RFID安全协议形式化分析研究及DRAP协议的建立与实现[D];燕山大学;2007年
8 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
9 吕银华;安全协议中的互模拟等价性验证[D];贵州大学;2006年
10 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026