文档介绍：贵州大学
博士学位论文
安全协议及其BAN逻辑分析研究
姓名:杨世平
申请学位级别:博士
专业:计算机软件与理论
指导教师:李祥
20070301
导师签名:——日期:��生上旦��生立旦原创性声明关于学位论文使用授权的声明本人郑重声明:所呈交的学位论文,是本人在导师的指导下,独立进行研究所取得的成果。除文中已经注明引用的内容外,本论文不包含任何其他个人或集体已经发表或撰写过的科研成果。对本文的研究曾做出重要贡献的个人和集体,均已在文中以明确方式标明。本人完全意识到本声明的法律责任由本人承担。本人完全了解贵州大学有关保留、使用学位论文的规定,同意学校保留或向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅;本人授权贵州大学可以将本学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或其他复制手段保存论文和汇编本学位论文。�C苈畚脑诮饷芎笥ψ袷卮斯娑�论文作者签名期:日贵州大学博士学位论文安全协议及其��呒�治鲅芯�
摘要随着计算机网络的广泛应用和各种应用领域的不断扩大,信息的安全问题成为大家关注的�����司题从某种程度上已成为制约计算机网络应用的一个瓶颈。传统的对信息的安全性处理是依赖于好的加解密算法来保证。但是,随着网络应用的深入,仅仅依赖一个好的加解密算法已经不能很好地解决信息的安全问题,它需要安全理论、安全措施和安全技术来保证。在这些信息安全的理论、措施和技术中,,人们需要可信的机制来为通信的各方进行身份认证和分发密钥,这就迫使人们研究和设计出了各种安全协议�����并不如它们的设计者所期望的那样安全,开放的、复杂的网络环境使得攻击者可利用安全协议设计中的缺陷和漏洞来实施各种各样的攻击,从而非法获取网络资源,窃取非授权使用的信息,危及到网络的安全和应用。因此,安全协议自身的安全性成了网络安全的关键问题之一。考量和分析一个安全协议的安全性称为安全协议的分析。目前,使用最为广泛的安全协议分析方法是各种形式化分析方法,即采用各种形式化的语言或模型,为安全协议建立模型,并按照规定本文以如何保障安全协议的安全性为切入点,研究和分析了与安全协议息息相关的密码学本文通过��呒�氖道�治觯�得髁薆�逻辑在分析认证协议中具有积极的作用,发现了认证协议中一些原来没有发现的漏洞和冗余。但是,文中通过对两个认证协议的分析,指出了��呒�诙灾屑淙斯セ骱涂诹畈虏夤セ鞯陌踩��榉治鲋写嬖诘娜毕荩�⒍员环治�的认证协议进行了改进。最后提出了基于安全协议的电子公文安全流转方案和基于安全协议的钥协商的计算量,也利用椭圆曲线离散对数的难解性来增强了消息交换的安全性。关键词安全协议:��呒�恍问交�治觯幌�⒔换唬煌衷睬��焦点。信息安全�����������H欢�掠朐肝ィ�延械陌踩��橥��恢な�的假设、分析和验证规则,验证安全协议的安全性。的诸多问题,例如,对称密码体制、公钥密码体制、椭圆曲线密码体制、数字签名等基本算法。进一步讨论了具有代表性的认证协议,密钥管理和分配的方法等。研究和分析了安全协议的非形式化分析的方法和形式化分析方法,重点是对��呒�姆治龊吞致郏�⒗�肂�逻辑分析了部分认证协议。消息交换方案。将椭圆曲线密码体制引入到消息交换方案中,减少了消息交换中数字签名和密中图分类号�����文献标识码�青州大学计算机软件与理论研究所~��
蒯秚��ǎ���琱���������珺��鹏������琫�.,��������������������..��������,�������������甌����������.�������,�����辒��������甒������,��甒�����������瓼���������—����青州大学博士学位论文安全协议及其��呒�治鲅芯��℃���∞����������������,��������������眦������.�����琺����.�����,����������琣����.������甌�������.���.�����瓽��������瓸������甌������琸����瓵���琣�����,����瑃�一��
甌�������������������琤�������������������黸����������;����������籈����贵州大学计算机软件与理论研究所�����������������甀�����∞��������籉�����甌����.������������.���琹����,�������,������篠��������;��—�—�
第一章引言��研究背景及意义安全协议��耐������且悦苈胙��������;�〉男�椋�谕�绾托畔⑾低车�安全中占据重要的