电子商务安全协议的形式化分析技术研究.pdf

西安电子科技大学硕士学位论文电子商务安全协议的形式化分析技术研究姓名：吴建耀申请学位级别：硕士专业：密码学指导教师：杨波20050101摘要安全协议的安全性是网络与信息安全的重要基础运用形式化方法分析安全协议已成为目前研究的主要热点。本文主要研究运用形式化技术分析电子商务安全≯系统介绍安全协议和电子商务安全协议的背景、基本概念和分类方法、安全协三方服务器的三方安全协议运行模式分析法计算运行模式的数量上界并给出有效的约束条件。≯使用运行模式分析法成功的分析了电子商务安全协议椋⑾至舜诵议隐含的缺陷证明运行模式分析法可以分析较为复杂的电子商务安全协议。≯介绍安全协议的设计原则探讨电子商务安全协议的设计方法并设计了一个电子商务安全协议。关键词：模型检测运行模式分析法协议的理论与技术。主要的研究成果如下：议分析领域的现状、研究进展和取得的成果。≯介绍基于模型检测理论建立的两方安全协议运行模式分析法归纳基于可信第电子商务安全协议形式化分析方法餾．瓼：≯猰猵．．．》．：琫猵美童丝本人签名：兰垄蕴搁澧独创性声明兰竺塑关于论文使用授权的说明‘本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知除了文中特别加以标注和致谢中所罗列的内容以外议文中不包含其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。申请学位论文与资料若不实之处本人承担一切相关责任。日期本人完全了解西安电子科技大学有关保留和使用学位论文的规定即：研究生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。本人保证毕业离校后发表论文或使用论文工作成果时署名单位仍然为西安电子科技大学。学校有权保留送交论文的复印件允许查阅和借阅论文；学校可以公布论文中的全部或部分内容可以允许采用影印、缩印或其它复制手段保存论文。Ｃ艿穆畚在解密后遵守此规定本人签名：导师签名：第一章绪论电子商务安全协议的基本概念化分析方法的研究进展和现状重点介绍了模型检测技术的研究成果及其应用。程每一步骤都必须一次执行。在前一步没有执行完之前后面的步骤不可能执．踩榈幕靖拍协议。安全协议为了保证安全性其设计必须采用密码技术。因此我们也将安算机网络的安全协议。认证协议的提出使计算机通信网络的安全性发生了革命性的变化这以后很多著名的协议比如协议便是在此协议基础上发展目前安全协议已广泛应用于计算机网络与分布式系统中包括现在电子商务主要应用的安全协议：楹蚐协议。安全是电子商务的最重要的基础如果没有安全根本就无法实施任何电子商务活动。这里安全协议的安全性是电子商务和计算机通信网安全的重要一环。但迄今本章首先在第一节中系统的介绍电子商务安全协议的背景知识、基本概念和分类标准；第二节中讨论电子商务安全协议的安全性：第三节中概述安全协议形式本章最后一节中给出论文的主要研究工作以及内容安排。所谓协议】就是两个或两个以上的参与者为完成某项特定的任务而采取的一系列步骤。这个定义包含三层含义：第一协议自始至终是有序的过行。第二协议至少需要两个参与者。一个人可以通过执行一系列的步骤来完成某项任务但它不构成协议。第三通过执行协议必须完成某项任务。即使某些东西看似协议但没有完成任何任务也不能成为协议只不过是浪费时间的空安全协议有时也称作密码协议是以密码学为基础的消息交换协议其目的是在网络环境中提供各种安全服务。安全目标是多种多样的。例如认证协议的目标是认证参加协议的主体的身份。电子商务协议的目标除认证性、非否认性之外还有可追究性、公平性等等。我们把为了完成某种安全任务的协议称为安全全协议称作密码协议。应用于计算机通信网的安全协议始于年琈．蚆．甋发表的猄认证协议【虺芅现ば这是第一个应用于计起来的。为止安全协议的安全性的论证仍是一个悬而未决的问题为此我们需要对安全协操作。第一章绪论—椤俊．重复认证协议㈦等。哂锌尚诺谌降墓ǹC茉啃椤Ｊ粲谡庖焕嗟牡湫托橛蠳棰．踩榉掷有研究意义和实用价值的安全协议。他们将安全协议进行如下分类：蘅