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

发布时间：2024-12-19 01:40

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

【文章页数】：61 页

【学位级别】：硕士

【文章目录】：
摘要
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 攻读硕士期间发表和完成的论文



本文编号：4017450