电子商务协议的逻辑分析与研究

发布时间：2024-01-31 20:15

　　电子商务是当前各国研究发展的热点，它以电子商务协议为构成框架，而电子商务协议的安全性是决定电子商务发展的关键因素。研究电子商务协议及其安全性，对于我们设计安全的电子商务协议和促进电子商务的发展很有帮助。 在本文中，作者主要介绍了用于分析密码协议的三种逻辑语言，研究了它们的优缺点，然后结合其优点，提出了一种新的用于分析电子商务协议的形式化逻辑语言。该语言逻辑性强、应用简易。作者还简单介绍了著名的电子商务协议—安全电子交易(SET)协议，并对其进行逻辑抽象，最后着重用提出的新逻辑对抽象化后的SET协议进行了完全的分析与验证。

【文章页数】：72 页

【学位级别】：硕士

【文章目录】：
中文摘要
英文摘要
1 绪论
    1.1 电子商务及其协议
    1.2 电子商务协议的安全性
        1.2.1 电子商务协议的安全性及攻击
        1.2.2 电子商务协议的设计准则
        1.2.3 电子商务协议的安全分析
    1.3 逻辑分析方法的研究与进展
        1.3.1 电子商务协议的逻辑分析前提
        1.3.2 逻辑分析方法的研究与进展
        1.3.3 小结
    1.4 论文的研究成果
2 逻辑分析语言的研究
    2.1 引言
    2.2 BAN逻辑
        2.2.1 BAN逻辑的语法
        2.2.2 BAN逻辑分析实例
        2.2.3 有关BAN逻辑的评价
    2.3 Kailar逻辑
        2.3.1 Kailar逻辑的语法
        2.3.2 Kailar逻辑分析实例
        2.3.3 有关Kailar逻辑的评价
    2.4 NDL逻辑
        2.4.1 NDL逻辑的语法
            2.4.1.1 NDL逻辑的语言构成
            2.4.1.2 NDL逻辑的推理框架
                2.4.1.2.1 公理
                2.4.1.2.2 推理规则
            2.4.1.3 利用NDL逻辑分析安全协议的步骤
        2.4.2 NDL分析实例
        2.4.3 有关NDL的评价
    2.5 本章小结
3 一种新的形式化逻辑方法
    3.1 新逻辑的语法
        3.1.1 处理对象
        3.1.2 新逻辑的主要构造
        3.1.3 新逻辑的推理规则
    3.2 推理格式
    3.3 电子商务协议逻辑验证步骤
    3.4 验证实例
    3.5 本章小结
4 SET协议的逻辑验证
    4.1 SET协议简介
        4.1.1 SET的特点
        4.1.2 SET的体系结构
        4.1.3 SET协议的主要流程
        4.1.4 SET协议运行的目标
    4.2 SET协议的逻辑验证
        4.2.1 持卡人注册阶段验证
        4.2.2 商家注册阶段验证
        4.2.3 购买请求阶段验证
        4.2.4 支付授权阶段验证
        4.2.5 支付获得阶段验证
    4.3 本章小结
结束语
致谢
参考文献
作者在攻读硕士期间发表和完成的论文



本文编号：3891478