收藏本站
《北京邮电大学学报》 2007年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

串空间模型中的口令猜测攻击

龙士工  罗文俊  袁超伟  李祥  
【摘要】:给出了鉴别协议猜测攻击的串空间模型.扩充了攻击者串和密码运算类型,重新定义了理想概念,并证明了相关定理.扩展的诚实理想分析模型不仅继承了原理论的有关性质,而且适应猜测攻击的分析.以GLNS协议为例说明了如何利用串空间理论有效地进行协议的形式化分析.

【引证文献】
中国期刊全文数据库 前1条
1 邓淼磊;朱昭;石金娥;周利华;;RFID标签的不可追踪性[J];北京邮电大学学报;2010年02期
中国博士学位论文全文数据库 前2条
1 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
2 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
【参考文献】
中国期刊全文数据库 前2条
1 李莉,薛锐,张焕国,冯登国,王丽娜;基于口令认证的密钥交换协议的安全性分析[J];电子学报;2005年01期
2 沈海峰,薛锐,黄河燕,陈肇雄;串空间理论扩展[J];软件学报;2005年10期
【共引文献】
中国期刊全文数据库 前10条
1 龙士工;;理想在猜测攻击分析中的扩展应用[J];贵州大学学报(自然科学版);2006年03期
2 王玉磊;邓淼磊;钱兴中;周跃华;郭宏刚;;口令猜测攻击的串空间模型分析[J];河北师范大学学报(自然科学版);2009年02期
3 于宝证;徐枞巍;;基于口令的跨服务器认证密钥交换协议研究[J];合肥工业大学学报(自然科学版);2007年11期
4 丁萌伟;周清雷;赵东明;;Yahalom-Paulson协议的串空间模型与分析[J];计算机工程与应用;2008年22期
5 程英;高庆德;;一个强口令认证协议的漏洞研究[J];计算机科学;2009年10期
6 林怀清;王斌;周岩;;混合P2P网络中可证安全的信任数据安全传输协议[J];计算机科学;2010年10期
7 董荣胜;吴光伟;郭云川;古天龙;;基于串空间模型的Athena方法的改进[J];计算机工程;2007年08期
8 陈建熊;孙乐昌;;认证测试理论的扩展和应用[J];计算机工程;2009年15期
9 陈建熊;孙乐昌;潘祖烈;蔡铭;;串空间理论的扩展和应用[J];计算机工程;2009年22期
10 胡迎松;徐鹏;;基于安全远程口令和公钥体制的Kerberos改进算法[J];计算机工程与科学;2007年05期
中国博士学位论文全文数据库 前10条
1 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
2 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
3 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
4 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
5 陶宏才;安全协议结构及其范式研究[D];西南交通大学;2007年
6 刘洋;数字版权管理中权限交互与容错认证机制研究[D];中国科学技术大学;2009年
7 于宝证;基于群盲签名的多银行电子现金系统研究[D];合肥工业大学;2009年
8 林怀清;P2P网络多维模糊信任模型研究[D];华中科技大学;2009年
9 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
10 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 王春晓;无线局域网中WPA及预防字典攻击技术的研究与改进[D];哈尔滨理工大学;2010年
3 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
4 刘文刚;可认证密钥协商协议的研究与设计[D];西华大学;2011年
5 魏刚;基于知识和信念模型的电子商务协议分析[D];燕山大学;2012年
6 吴光伟;基于串空间的安全协议Athena分析方法的研究[D];桂林电子科技大学;2006年
7 张岚;基于广义串空间模型的密码协议设计与分析的研究[D];解放军信息工程大学;2006年
8 李玉平;基于串空间的网络安全协议形式化分析模型与工具研究[D];浙江工业大学;2007年
9 赵菲;认证密钥协商协议的研究[D];电子科技大学;2007年
10 曾德明;可否认的认证及密钥交换协议的实现[D];电子科技大学;2007年
【同被引文献】
中国期刊全文数据库 前10条
1 李莉,薛锐,张焕国,冯登国,王丽娜;基于口令认证的密钥交换协议的安全性分析[J];电子学报;2005年01期
2 熊焰;张伟超;苗付友;王行甫;;一种基于计算能力的无需可信第三方公平非抵赖信息交换协议[J];电子学报;2006年03期
3 文静华;李祥;张焕国;梁敏;张梅;;基于ATL的公平电子商务协议形式化分析[J];电子与信息学报;2007年04期
4 樊利民;廖建新;;公平的移动小额支付协议[J];电子与信息学报;2007年11期
5 张辉;侯朝焕;王东辉;;一种基于部分ID的新型RFID安全隐私相互认证协议[J];电子与信息学报;2009年04期
6 李兴华,马建峰,文相在;基于身份密码系统下Canetti-Krawczyk模型的安全扩展[J];中国科学E辑:信息科学;2004年10期
7 苏开乐,吕关锋,陈清亮;基于知识结构的认证协议验证[J];中国科学E辑:信息科学;2005年04期
8 冯登国;陈伟东;;基于口令的安全协议的模块化设计与分析[J];中国科学(E辑:信息科学);2007年02期
9 张帆;马建峰;文相在;;通用可组合的匿名HASH认证模型[J];中国科学(E辑:信息科学);2007年02期
10 ;Using IND-CVA for constructing secure communication[J];Science in China(Series F:Information Sciences);2009年10期
中国博士学位论文全文数据库 前7条
1 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年
2 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
3 雷飞宇;UC安全多方计算模型及其典型应用研究[D];上海交通大学;2007年
4 张帆;无线网络安全协议的形式化分析方法[D];西安电子科技大学;2007年
5 冯涛;通用可复合密码协议理论及其应用研究[D];西安电子科技大学;2008年
6 丁治国;RFID关键技术研究与实现[D];中国科学技术大学;2009年
7 谭示崇;口令认证密钥协商协议的研究[D];西安电子科技大学;2009年
【二级引证文献】
中国期刊全文数据库 前1条
1 陈宏麟;;基于物联网环境的RFID安全协议设计[J];南通职业大学学报;2012年04期
中国博士学位论文全文数据库 前2条
1 李建成;射频识别系统空中接口通信协议关键技术研究与实现[D];国防科学技术大学;2011年
2 李云峰;电子商务协议安全性的形式化分析方法研究[D];西南交通大学;2009年
中国硕士学位论文全文数据库 前5条
1 梁晨;基于物联网的RFID安全认证协议研究与设计[D];西安电子科技大学;2011年
2 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
3 计宏霖;基于UPPAAL的电子商务协议安全性分析[D];解放军信息工程大学;2008年
4 郭林锋;RFID安全协议的设计与分析[D];郑州大学;2012年
5 吴祥业;基于Java的DTLS协议实现与安全性分析[D];西安电子科技大学;2012年
【相似文献】
中国期刊全文数据库 前10条
1 龙士工;罗文俊;袁超伟;李祥;;串空间模型中的口令猜测攻击[J];北京邮电大学学报;2007年01期
2 龙士工;;理想在猜测攻击分析中的扩展应用[J];贵州大学学报(自然科学版);2006年03期
3 石昊苏,薛锐,冯登国;AVSP算法[J];计算机工程与设计;2005年04期
4 董军;杨秀娟;赵艳芹;;基于串空间模型安全协议形式化分析方法的研究[J];计算机技术与发展;2008年04期
5 展永刚;杨世平;;串空间模型对RPC协议机密性的验证[J];计算机安全;2009年03期
6 毋晓英;周清雷;;一种安全协议自动化分析方法[J];计算机应用研究;2010年06期
7 龙士工;罗文俊;彭长根;李祥;;模态逻辑与带变量串空间相结合的协议分析[J];计算机工程;2007年13期
8 廖振岚;吴开贵;谢琪;代廷合;;一个双向认证协议的分析与改进[J];计算机科学;2009年02期
9 周清雷;赵琳;赵东明;;基于串空间模型的Andrew RPC协议的分析与验证[J];计算机工程与应用;2007年13期
10 陈建熊;孙乐昌;;认证测试对分析重放攻击的缺陷[J];计算机应用研究;2009年02期
中国重要会议论文全文数据库 前10条
1 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
2 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
3 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
4 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
5 王聪;王智学;;基于UML2.0的安全协议建模方法[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
6 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
7 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
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];西南交通大学;2012年
2 董学文;基于串空间模型安全协议形式化方法的分析与扩展[D];西安电子科技大学;2011年
3 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
4 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
5 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
6 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
7 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
8 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
9 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
10 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 刘燕玲;基于串空间模型的安全协议自动化验证方法研究[D];郑州大学;2011年
2 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
3 李轶谞;基于串空间的安全协议形式化分析建模和研究[D];南京邮电大学;2012年
4 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
5 张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
6 赵自强;基于串空间模型的形式化方法的扩展与应用[D];成都理工大学;2011年
7 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
8 林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
9 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
10 陈强;安全协议的形式化分析研究[D];清华大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026