安全电子商务协议的逻辑分析方法研究

论文摘要

电子商务是当前各国研究的热点。电子商务是以协议为构成框架的，电子商务协议的安全性是决定电子商务发展的关键因素。安全电子商务协议，是使用了密码学方法的协议，其目的就是为了在复杂的、不安全的网络环境中为参加电子商务活动的主体提供各种安全服务。安全电子商务协议的目的是保证信息的安全，但是如果协议本身存在漏洞，攻击者就会利用这些漏洞，对合法通信者造成危害。因此需要对安全协议进行分析和验证，来检查安全电子商务协议是否能够达到其预期的目标。Kailar逻辑和卿-周逻辑是常见的安全电子商务协议形式化分析方法，但是它们只能分析协议的有限性质，并且在遇到重放攻击时Kailar逻辑和卿-周逻辑不能正确分析主体的责任性。本文在深入研究安全电子商务协议形式化分析方法理论的基础上，做了以下几个方面的工作：（1）深入了解了安全电子商务协议的安全性质，尤其是原子性、可追究性与公平性。（2）熟悉针对安全电子商务协议的常见攻击方法，用重放攻击分析了IBS协议和CMP协议，并对后者提出了改进方案。（3）分析Kailar逻辑和卿-周逻辑的不足，提出了一种改进的逻辑分析方法，并给出了验证实例。

论文目录

• 摘要
• ABSTRACT
• 目录
• 第一章 绪论
• 1.1 研究背景
• 1.2 研究现状
• 1.3 本文工作
• 第二章 安全电子商务协议综述
• 2.1 安全电子商务协议的基本概念
• 2.1.1 安全电子商务协议的基本需求
• 2.1.2 安全电子商务协议的基本结构
• 2.1.3 安全电子商务协议的分类
• 2.1.4 安全电子商务协议的运行环境及语义
• 2.2 典型的安全电子商务协议
• 第三章 针对电子商务协议的攻击
• 3.1 入侵者的知识和能力
• 3.2 电子商务协议的常见攻击
• 3.3 针对 NEWIBS协议的重放攻击
• 3.4 针对 CMP协议的重放攻击
• 3.5 小结
• 第四章 电子商务协议的安全性
• 4.1 电子商务协议的安全性质
• 4.2 电子商务协议的分析前提
• 4.3 电子商务协议的设计准则
• 4.4 电子商务协议的分析方法简介
• 4.5 KAILAR逻辑和卿-周逻辑简介
• 4.5.1 Kailar逻辑简介
• 4.5.2 卿-周逻辑简介
• 4.6 KAILAR逻辑和卿-周逻辑的缺陷
• 4.7 小结
• 第五章 一种改进的逻辑分析方法
• 5.1 改进的逻辑分析方法的语法
• 5.1.1 基本符号
• 5.1.2 概念和定义
• 5.1.3 推理规则
• 5.2 协议分析步骤
• 5.3 验证实例
• 5.3.1 IBS协议的逻辑验证
• 5.3.2 NewIBS协议的逻辑验证
• 5.4 小结
• 第六章 总结与展望
• 致谢
• 参考文献
• 附录1 攻读硕士期间发表和完成的论文