收藏本站
《西安电子科技大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

几类安全协议的研究与设计

邓淼磊  
【摘要】: 随着网络应用的迅速发展,网络安全问题日益重要。安全协议是构建网络安全环境的基石,是网络安全通信系统的核心技术,它的正确性和安全性对整个网络环境的安全起着至关重要的作用。安全协议的设计和分析已经成为近年来国际上在网络安全和信息安全领域最活跃的研究方向之一。 由于时间和篇幅有限,本文主要对基于口令的安全协议、电子支付协议和射频识别(RFID)系统安全协议这三类有代表性的新型安全协议进行了研究,主要包括下列内容: 1.基于串空间模型,对攻击者串进行了扩展,以便分析安全协议中的口令猜测攻击。为了抵御口令猜测攻击,在一个两方基于口令的安全协议中引人一类散列函数,对修改后的协议进行了形式化分析,证明能够有效抵御猜测攻击。 2.在通用可组合模型下,定义了一个三方口令认证密钥交换理想函数,然后在两方口令认证密钥交换理想函数辅助的混合模型下,构造了一个实现该理想函数的三方口令认证密钥交换协议。设计的协议不仅是通用可组合安全的,并且结构简单。 3.公平性是电子支付协议的一个基本属性。基于通用可组合模型,定义了公平电子支付理想函数。在可转化签名理想函数、注册理想函数和安全会话理想函数辅助的混合模型下,构造了一个实现公平电子支付理想函数的公平电子支付协议。新的协议结构简单,通信量较低。 4.针对RFID系统的特殊需求,在通用可组合模型下,设计了一个低成本的RFID匿名认证协议,该协议的实现对于一般的RFID结构是切实可行的。通过对近年来提出的符合EPCGen2标准的RFID协议的安全性分析,提出了符合EPCGen2标准的RFID认证协议的设计原则,并设计了一个新的符合EPCGen2标准的RFID认证协议。对RFID搜索协议的安全需求进行了分析,设计了一个不需要后端数据库参与的低成本RFID搜索协议。分析了供应链环境下RFID通信协议应该满足的安全需求,提出了一个基于伪随机函数原语实现的供应链环境下安全的RFID通信协议,该协议具有较高的效率,标签端的计算负荷和存储成本较低。 5.对串空间模型进行扩展,使其能够用来分析标签的不可追踪性。基于扩展的串空间模型,对Feldhofer协议和O′-FRAP协议进行了分析。
【学位授予单位】:西安电子科技大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP393.08

【引证文献】
中国期刊全文数据库 前1条
1 陈宏麟;;基于物联网环境的RFID安全协议设计[J];南通职业大学学报;2012年04期
中国博士学位论文全文数据库 前1条
1 李建成;射频识别系统空中接口通信协议关键技术研究与实现[D];国防科学技术大学;2011年
中国硕士学位论文全文数据库 前3条
1 梁晨;基于物联网的RFID安全认证协议研究与设计[D];西安电子科技大学;2011年
2 郭林锋;RFID安全协议的设计与分析[D];郑州大学;2012年
3 吴祥业;基于Java的DTLS协议实现与安全性分析[D];西安电子科技大学;2012年
【参考文献】
中国期刊全文数据库 前10条
1 龙士工;罗文俊;袁超伟;李祥;;串空间模型中的口令猜测攻击[J];北京邮电大学学报;2007年01期
2 李莉,薛锐,张焕国,冯登国,王丽娜;基于口令认证的密钥交换协议的安全性分析[J];电子学报;2005年01期
3 熊焰;张伟超;苗付友;王行甫;;一种基于计算能力的无需可信第三方公平非抵赖信息交换协议[J];电子学报;2006年03期
4 文静华;李祥;张焕国;梁敏;张梅;;基于ATL的公平电子商务协议形式化分析[J];电子与信息学报;2007年04期
5 樊利民;廖建新;;公平的移动小额支付协议[J];电子与信息学报;2007年11期
6 张辉;侯朝焕;王东辉;;一种基于部分ID的新型RFID安全隐私相互认证协议[J];电子与信息学报;2009年04期
7 李兴华,马建峰,文相在;基于身份密码系统下Canetti-Krawczyk模型的安全扩展[J];中国科学E辑:信息科学;2004年10期
8 苏开乐,吕关锋,陈清亮;基于知识结构的认证协议验证[J];中国科学E辑:信息科学;2005年04期
9 冯登国;陈伟东;;基于口令的安全协议的模块化设计与分析[J];中国科学(E辑:信息科学);2007年02期
10 张帆;马建峰;文相在;;通用可组合的匿名HASH认证模型[J];中国科学(E辑:信息科学);2007年02期
中国博士学位论文全文数据库 前7条
1 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年
2 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
3 雷飞宇;UC安全多方计算模型及其典型应用研究[D];上海交通大学;2007年
4 张帆;无线网络安全协议的形式化分析方法[D];西安电子科技大学;2007年
5 冯涛;通用可复合密码协议理论及其应用研究[D];西安电子科技大学;2008年
6 丁治国;RFID关键技术研究与实现[D];中国科学技术大学;2009年
7 谭示崇;口令认证密钥协商协议的研究[D];西安电子科技大学;2009年
【共引文献】
中国期刊全文数据库 前10条
1 严德斌,凌用银;蓝牙技术安全体系及其安全措施分析[J];安徽电子信息职业技术学院学报;2004年Z1期
2 练斌;;信息安全课程案例化教学思路探讨[J];安徽电子信息职业技术学院学报;2011年05期
3 李先贤,怀进鹏;一种双方不可否认的密码协议及应用[J];北京航空航天大学学报;2001年02期
4 王秦;孙中月;;基于一次性口令和椭圆曲线密码体制的移动商务身份认证协议设计与研究[J];北京联合大学学报(自然科学版);2009年04期
5 杜建忠,朱甫臣;抵抗多次拦截攻击的量子密钥分发中的身份认证[J];北京邮电大学学报;2005年01期
6 李晖,杨著,杨义先;一种改进的TETRA系统鉴权协议[J];北京邮电大学学报;2005年02期
7 陈伟;杨义先;钮心忻;;A5/1算法可抵抗相关攻击的改进方法[J];北京邮电大学学报;2006年04期
8 龙士工;罗文俊;袁超伟;李祥;;串空间模型中的口令猜测攻击[J];北京邮电大学学报;2007年01期
9 邓淼磊;王玉磊;邱罡;周利华;;无需后端数据库的RFID认证协议[J];北京邮电大学学报;2009年04期
10 邓淼磊;朱昭;石金娥;周利华;;RFID标签的不可追踪性[J];北京邮电大学学报;2010年02期
中国重要会议论文全文数据库 前10条
1 戴清杰;潘俊涛;段凯科;余治兵;王猛;;RFID安全技术研究[A];四川省通信学会2011年学术年会论文集[C];2011年
2 晏敏;牛少彰;辛阳;;基于第三方的安全移动支付方案的分析与设计[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年
3 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
4 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
5 姜雪松;尉秀梅;王新刚;;网络环境下数据加密的研究与实现[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 张晓华;李宏佳;魏权利;;椭圆曲线数字签名算法(ECDSA)软件仿真的研究[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
7 梁鼎豪;;动力环境集中监控误告警原因的探析[A];2007中国科协年会——通信与信息发展高层论坛论文集[C];2007年
8 王彦明;安德海;齐法制;;高能所校园网接入控制系统的设计与实现[A];第十五届全国核电子学与核探测技术学术年会论文集[C];2010年
9 郭甜滋;毛楠;司志刚;陈丽;;Kerberos协议在单点登录中的改进及应用[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
10 张东巍;蔺大正;杨真真;余华彬;;一个有效的基于离散对数和因式分解的智能卡自证实方案[A];2006中国西部青年通信学术会议论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 刘文浩;无双线性对的无证书公钥密码学研究[D];电子科技大学;2010年
2 傅建庆;面向3G-WLAN互联网络的安全协议研究[D];浙江大学;2010年
3 侯惠芳;异构无线融合网络中的认证技术研究[D];解放军信息工程大学;2010年
4 张龙;现代密码体制若干问题的研究[D];北京邮电大学;2011年
5 张冬芳;3G网络的身份认证与内容安全关键技术研究[D];北京邮电大学;2010年
6 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
7 杨力;无线网络可信认证技术研究[D];西安电子科技大学;2010年
8 袁峰;多变量公钥密码的设计与分析[D];西安电子科技大学;2010年
9 詹阳;若干信任相关问题的研究[D];西安电子科技大学;2011年
10 杨文峰;几类流密码分析技术研究[D];西安电子科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 杨映玲;安全套接层协议的研究与改进[D];华中农业大学;2010年
2 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
3 栗风永;基于混沌系统的公钥加密方案研究[D];郑州大学;2010年
4 乌东建;基于AVR的RFID阅读器和应答器的设计研究与实现[D];哈尔滨工程大学;2010年
5 刘恒;秘密共享方案的研究[D];大连理工大学;2009年
6 蔡照鹏;DD-S-CPK-IC在改进SSLVPN记录层的应用[D];辽宁工程技术大学;2010年
7 张锦涛;RFID系统标签隐私保护物理机制的研究[D];长沙理工大学;2010年
8 张琳琳;远程教育系统身份认证技术研究[D];中国海洋大学;2010年
9 孙迪;电子政务的安全策略的研究与应用[D];华东师范大学;2010年
10 赵婷;无线射频识别安全协议的研究与设计[D];北京邮电大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 吕世磊;张春;;XTEA加密算法在超高频RFID芯片上的实现[J];半导体技术;2009年11期
2 钟学毅;吕宁;王昌明;;RFID系统的Matlab/Simulink建模及特性分析[J];电讯技术;2006年05期
3 刘宏伟;李成;;ISO/IEC 18000-6C简析[J];信息技术与标准化;2007年07期
4 罗海勇;李锦涛;郭俊波;冯波;袁武;;新一代超高频RFID无线接口标准EPC CLASS-1/Gen-2研究[J];电子技术应用;2006年05期
5 朱大奇,于盛林;基于D-S证据理论的数据融合算法及其在电路故障诊断中的应用[J];电子学报;2002年02期
6 丁治国;郭立;王昱洁;;基于密钥阵列的RFID安全认证协议[J];电子与信息学报;2009年03期
7 张辉;侯朝焕;王东辉;;一种基于部分ID的新型RFID安全隐私相互认证协议[J];电子与信息学报;2009年04期
8 丁振华;李锦涛;冯波;;基于Hash函数的RFID安全认证协议研究[J];计算机研究与发展;2009年04期
9 王昕;袁超伟;;一种安全协议的形式化分析方法[J];计算机工程;2010年07期
10 周永彬;冯登国;;RFID安全协议的设计与分析[J];计算机学报;2006年04期
中国博士学位论文全文数据库 前6条
1 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年
2 范志广;超高频射频识别(RFID)中的若干问题研究[D];浙江大学;2007年
3 曹雪菲;基于身份的认证协议的理论及应用研究[D];西安电子科技大学;2008年
4 丁治国;RFID关键技术研究与实现[D];中国科学技术大学;2009年
5 洪卫军;超高频射频识别系统实现与应用中的若干关键技术研究[D];北京邮电大学;2009年
6 唐志军;无源反向散射RFID系统中的天线及传播特性研究[D];湖南大学;2010年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 张锦涛;RFID系统标签隐私保护物理机制的研究[D];长沙理工大学;2010年
3 杨青;UHF频段RFID系统空口协议关键技术研究与仿真[D];国防科学技术大学;2010年
4 侯峻峰;安全协议形式化验证方法和安全协议设计研究[D];清华大学;2004年
5 曾强;网络安全协议SSL原理及应用[D];天津大学;2005年
6 王倩;BAN类逻辑的研究[D];山东大学;2007年
7 胡游君;RFID安全协议形式化分析研究及DRAP协议的建立与实现[D];燕山大学;2007年
8 章轶;射频识别系统及其认证协议的研究[D];解放军信息工程大学;2007年
9 胡乃英;UHF频段RFID空中接口协议的研究[D];西北大学;2008年
10 杨扬;SSL的设计和实现[D];北京邮电大学;2008年
【二级引证文献】
中国期刊全文数据库 前1条
1 张淏湜;王斌;;基于对称密码体制的RFID安全协议[J];现代电子技术;2013年05期
中国硕士学位论文全文数据库 前3条
1 许玉枝;基于RFID的生产调度数据处理中间件的设计[D];广东工业大学;2012年
2 周晔;基于Hash链的RFID双向认证协议研究[D];西南交通大学;2012年
3 蒋喜趁;可视化物流信息系统的安全架构研究[D];北京交通大学;2012年
【二级参考文献】
中国期刊全文数据库 前10条
1 赵涤燹;闫娜;徐雯;杨立吾;王俊宇;闵昊;;适用于无源射频标签的低功耗单栅非挥发性存储器(英文)[J];半导体学报;2008年01期
2 赵曦;张有光;;一种新颖的RFID多标签防碰撞算法[J];北京航空航天大学学报;2008年03期
3 李明柱,李志江,杨义先,钮心忻;基于PayWord的WWW微支付模型[J];北京邮电大学学报;2002年02期
4 张为;曾燕;;基于LTCC技术的UHF RFID标签天线设计[J];电波科学学报;2008年05期
5 骆宗伟;周世杰;LI Jenny;;一种轻量级RFID安全协议的改进(英文)[J];电子科技大学学报;2007年06期
6 孙海波,林东岱,黄寄洪;串空间理论在网络安全协议形式化分析中应用[J];大连理工大学学报;2003年S1期
7 胡爱群;无线通信网络的安全问题及对策[J];电信科学;2003年12期
8 蔡庆玲;詹宜巨;史斌宁;;一种符合EPC C1G2标准的RFID随机化密钥双向认证协议[J];电信科学;2007年04期
9 阎力飞;杨明武;李南;;用于RFID的平面倒F天线的FDTD设计分析[J];电子科技;2008年03期
10 姬东耀,王育民;移动计算网络环境中的认证与小额支付协议[J];电子学报;2002年04期
中国博士学位论文全文数据库 前9条
1 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
2 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
3 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年
4 陈原;公钥加密与混合加密的可证明安全性研究[D];西安电子科技大学;2006年
5 李兴华;无线网络中认证及密钥协商协议的研究[D];西安电子科技大学;2006年
6 雷飞宇;UC安全多方计算模型及其典型应用研究[D];上海交通大学;2007年
7 曹春杰;可证明安全的认证及密钥交换协议设计与分析[D];西安电子科技大学;2008年
8 明洋;广义指定验证者签名体制的研究和设计[D];西安电子科技大学;2008年
9 张帆;无线网络安全协议的形式化分析方法[D];西安电子科技大学;2007年
中国硕士学位论文全文数据库 前2条
1 全晶;射频识别系统中若干关键技术的研究[D];华东师范大学;2006年
2 胡游君;RFID安全协议形式化分析研究及DRAP协议的建立与实现[D];燕山大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 陈雁飞;马成勇;杨慧;;基于RFID系统的Reader-Tag安全协议的设计及分析[J];计算机与数字工程;2008年09期
2 熊宛星;薛开平;洪佩琳;麻常莎;;基于二维区间Hash链的RFID安全协议[J];中国科学技术大学学报;2011年07期
3 王昭顺;张晓锋;;RFID安全隐患及其解决方案[J];中国电子商情(RFID技术与应用);2007年06期
4 钟杰卓;;基于Hash链的RFID安全协议研究与设计[J];现代计算机(专业版);2010年08期
5 李仲阳;刘金平;李婷婷;;RFID系统安全性研究[J];计算机安全;2011年02期
6 吴学慧;牛志华;王潮;;基于椭圆曲线密码的RFID安全协议[J];计算机工程与设计;2010年24期
7 王娜,王亚弟;安全协议的形式化说明、设计及验证[J];计算机应用;2003年10期
8 崔捷,郑连清,顾志银;安全协议SSL与SET的分析与比较[J];现代电子技术;2004年09期
9 曾子维;李鹏;孙学波;;Otway Rees协议的安全分析[J];计算机应用与软件;2006年02期
10 荣昆;李益发;付吉;;GNY逻辑系统可靠性分析[J];信息工程大学学报;2006年02期
中国重要会议论文全文数据库 前10条
1 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
2 朱筱兰;杨海燕;赵乾华;刘映辉;席晓乾;;轻量级RFID安全协议研究[A];四川省通信学会Ip应用与增值电信技术会议论文集[C];2011年
3 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
4 王聪;王智学;;基于UML2.0的安全协议建模方法[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
5 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
6 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
7 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
9 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
10 徐梦茗;李斌;肖聪;;怎样用好AVISPA工具[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
中国重要报纸全文数据库 前10条
1 律师潘家永;“安全协议”是学校的尚方宝剑吗[N];北京日报;2003年
2 于毅;美伊长期安全协议是一剂良药吗?[N];光明日报;2008年
3 蒋文峰;固安网改 无安全协议不开工[N];华北电力报;2000年
4 潘家永;所谓春游“安全协议”是学校的免责利器吗[N];中国教育报;2003年
5 林颖;欧盟最高法院一位资深人士向欧美航空安全协议“叫板”[N];人民法院报;2005年
6 通讯员 苗红俊;安全协议书让安全更有保证[N];人民铁道;2008年
7 许忠通讯员 王滢;吐哈指挥部实现安全协议全覆盖[N];中国石油报;2007年
8 潘家永;春游“安全协议”是学校的尚方宝剑吗[N];法制日报;2004年
9 陈南辉肖曙光;瑞金站公安派出所与村民签订安全协议书[N];人民铁道;2007年
10 驻京记者 王丹;中美合作重点:药品和医械进出口监管[N];医药经济报;2007年
中国博士学位论文全文数据库 前10条
1 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
2 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
3 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
4 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
5 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
6 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
7 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
8 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
9 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
10 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 陈娴;RFID安全协议及加密算法研究[D];电子科技大学;2010年
2 张星磊;基于椭圆曲线离散对数难题的RFID安全协议设计与分析[D];上海交通大学;2011年
3 张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
4 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
5 林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
6 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
7 陈强;安全协议的形式化分析研究[D];清华大学;2005年
8 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
9 石昊苏;基于串空间模型分析与验证密码安全协议[D];中国科学院研究生院(软件研究所);2004年
10 周锋波;基于XML的SET支付系统的研究与实现[D];山东大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026