收藏本站
《解放军信息工程大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

协议安全性理论若干问题研究

王琳  
【摘要】:安全协议的模块化设计一直以来是协议设计领域的一个重要研究方向,Canetti提出的任意组合安全理论为协议模块化设计提供了一个可行的途径。然而目前任意组合安全理论中还存在一些没有解决的问题。例如,很多密码需求目前没有相应的理想功能,且同一密码需求的不同理想功能之间还没有建立清晰的关系。 针对以上问题,在对任意组合安全理论进行深入分析后,本文给出了同一密码原语不同理想功能之间安全等级的定义,并说明了这种定义的合理性,从而刻画了同一密码原语的不同理想功能之间的关系。随后针对Canetti给出的两个签名的理想功能,本文依据该定义给出了两者安全强弱性的证明。 其次,本文对基于身份协议的组合安全理论进行了重点讨论。对于基于身份的数字签名,本文提出了两个理想功能,并给出了两者安全性强弱的证明;随后又证明了其中弱的理想功能与适应性选择消息与身份攻击下存在性不可伪造这一安全性定义是等价的。对于基于身份的公钥加密,本文给出了一个理想功能,并证明了任何适应性选择密文及身分攻击下明文不可区分的体制都可以安全实现该理想功能。
【学位授予单位】:解放军信息工程大学
【学位级别】:硕士
【学位授予年份】:2006
【分类号】:TN918.1

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
【共引文献】
中国期刊全文数据库 前10条
1 王秦;敖静海;;移动商务环境下身份认证机制的研究[J];北京联合大学学报(自然科学版);2011年03期
2 王珏;周莉;;基于BitTorrent的P2P安全模型的设计[J];江西师范大学学报(自然科学版);2010年01期
3 陈广山;;IP层的安全机制研究[J];电脑开发与应用;2008年09期
4 常江;丁淑芬;;浅谈无线网络中的安全技术[J];电脑知识与技术;2009年14期
5 姜玮;;无线网络安全防范技术比较[J];电脑知识与技术;2009年30期
6 张蕾;张传富;;移动IP注册过程中主密钥分发方案研究[J];电子技术应用;2007年08期
7 陶志红,Hans KleineBuing,张世琨,王立福;Dining Cryptographer安全协议及工程分析[J];电子学报;2005年02期
8 刘永亮;高文;姚鸿勋;黄铁军;;用于多媒体加密的基于身份的密钥协商协议的安全性[J];电子与信息学报;2007年04期
9 王宝珠;杨菲;刘翠响;;一个新的基于公钥密码机制的安全协议的设计[J];电子质量;2010年11期
10 费向东;潘郁;;公钥密码体制下协议设计的安全准则及一种网络审批协议[J];电子政务;2005年22期
中国重要会议论文全文数据库 前1条
1 仇细平;缪祥华;杨晓婕;;Otway-Rees认证协议的分析与改进[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 姜奇;异构无线网络匿名漫游研究[D];西安电子科技大学;2011年
2 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
3 周慧华;密钥建立协议及其云存储应用研究[D];华中科技大学;2012年
4 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
5 李春艳;分级防火墙系统中动态访问控制技术研究[D];哈尔滨工程大学;2004年
6 朱建明;无线网络安全方法与技术研究[D];西安电子科技大学;2004年
7 侯方勇;存储系统数据机密性与完整性保护的关键技术研究[D];国防科学技术大学;2005年
8 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
9 李清玉;普及计算环境中安全技术的研究[D];中国科学院研究生院(计算技术研究所);2004年
10 华东明;安全协议的形式化方法及其应用的研究[D];中国科学院研究生院(计算技术研究所);2005年
中国硕士学位论文全文数据库 前10条
1 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
2 舒勇;端到端的信息安全传输系统关键技术研究[D];北京交通大学;2011年
3 王开宇;WiMAX网络中认证密钥协商协议设计与分析[D];解放军信息工程大学;2009年
4 石亚宾;基于身份的认证和密钥协商协议研究[D];解放军信息工程大学;2009年
5 邓帆;基于SPALL逻辑的安全协议设计与分析[D];解放军信息工程大学;2010年
6 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
7 陶晓霞;RFID标签安全协议的研究与设计[D];大连海事大学;2011年
8 符平;电子商务中电子支付协议的设计与研究[D];中南大学;2011年
9 梁晨;基于物联网的RFID安全认证协议研究与设计[D];西安电子科技大学;2011年
10 王国滨;基于混沌理论与密码的图像认证模型研究[D];广西民族大学;2011年
【二级参考文献】
中国期刊全文数据库 前2条
1 卿斯汉;一种新型的非否认协议[J];软件学报;2000年10期
2 王贵林,卿斯汉,周展飞;认证协议的一些新攻击方法[J];软件学报;2001年06期
【相似文献】
中国期刊全文数据库 前10条
1 崔捷,郑连清,顾志银;安全协议SSL与SET的分析与比较[J];现代电子技术;2004年09期
2 曾子维;李鹏;孙学波;;Otway Rees协议的安全分析[J];计算机应用与软件;2006年02期
3 荣昆;李益发;付吉;;GNY逻辑系统可靠性分析[J];信息工程大学学报;2006年02期
4 陈灿;李俊;;Kerberos协议的形式化分析[J];微电子学与计算机;2006年06期
5 王焕宝;张佑生;李援;;安全协议的串空间图表示[J];计算机研究与发展;2006年12期
6 徐梦茗;肖聪;唐六华;黄金涛;;安全协议和网络攻击分析[J];信息安全与通信保密;2007年02期
7 王惠斌;常青美;祝跃飞;;基于PDS的IKE安全协议形式化分析[J];河南师范大学学报(自然科学版);2007年03期
8 周雪凤;;数字家庭UPNP标准安全研究[J];科技情报开发与经济;2007年25期
9 缪祥华;何大可;;安全协议的等价性问题[J];计算机工程;2007年19期
10 王新锋;刘建国;蒋旭;刘胜利;;移动型RFID安全协议及其GNY逻辑分析[J];计算机应用;2008年09期
中国重要会议论文全文数据库 前10条
1 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
2 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
3 王聪;王智学;;基于UML2.0的安全协议建模方法[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
4 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
5 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
6 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 康松;王勋华;;门卫安全协议 一种简单的适用于公共数据网的安全协议[A];第十一届全国计算机安全技术交流会论文集[C];1996年
8 徐梦茗;李斌;肖聪;;怎样用好AVISPA工具[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
9 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
10 周东清;李燕;苏庆福;;一种基于层次型拓扑结构的无线传感器网络安全协议的设计[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
中国重要报纸全文数据库 前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];大连理工大学;2010年
3 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
4 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
5 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
6 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
7 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
8 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
9 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
10 闫丽丽;基于串空间理论的安全协议研究[D];西南交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 王琳;协议安全性理论若干问题研究[D];解放军信息工程大学;2006年
2 张旋;基于无线网络的入侵检测系统研究[D];武汉理工大学;2006年
3 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
4 林萍娟;基于有限域上遍历矩阵的安全协议实现研究[D];吉林大学;2006年
5 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
6 陈强;安全协议的形式化分析研究[D];清华大学;2005年
7 陈娴;RFID安全协议及加密算法研究[D];电子科技大学;2010年
8 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
9 石昊苏;基于串空间模型分析与验证密码安全协议[D];中国科学院研究生院(软件研究所);2004年
10 周锋波;基于XML的SET支付系统的研究与实现[D];山东大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026