不可否认协议及其逻辑验证

发布时间：2021-11-17 23:02

　　开放网络上的电子商务已成为现代经济活动的主要形式之一，但电子商务基于Internet这样的异构环境，通信实体间互不信任，且彼此的利益、目标不相同。因而通信实体可根据其自身利益对已发生行为进行否认，且否认已成为电子交易中最主要的威胁之一。当出现此类情况时就需要网络提供不可否认服务，该服务主要是通过不可否认协议来实现的。所以设计安全实用的不可否认协议将推动电子商务的进一步开展。 本文对不可否认协议的研究背景、研究现状及其逻辑验证方法进行了介绍；对协议涉及到的概念、分类、性质以及验证工具等进行了列总；分析了已有的几个典型协议的设计思路、安全性；并重点提到了ZG不可否认协议的形式化分析；谈及到优化的不可否认协议及其设计；最后，涉猎到公平交换协议，它是对不可否认协议的推广。 本论文的主要研究成果如下： 1．目前较实用的不可否认协议都离不开一个可信第三方或半可信第三方的介入。但实际网上交易时，假定存在可信第三方显然理想化了。在某些环境中，即使半可信第三方也不易找到。另外，凡有一个第三方介入的协议第三方都极易受网络Hacker的攻击，若一旦第三方受到破坏，则通信崩溃，损失很大。针对... 

【文章来源】：陕西师范大学陕西省 211工程院校 教育部直属院校

【文章页数】：66 页

【学位级别】：硕士

【文章目录】：
第一章 绪言
    §1.1 不可否认协议及其形式化分析的发展背景
    §1.2 不可否认协议的相关概念与性质
        1.2.1 不可否认协议的分类
        1.2.2 不可否认协议的证据
        1.2.3 不可否认协议的通信信道
        1.2.4 不可否认协议中的第三方
        1.2.5 不可否认协议的性质
    §1.3 预备知识
        1.3.1 签密方案
        1.3.2 可验证的加密方案
    §1.4 论文的章节安排
    §1.5 本章小结
第二章 带有在线第三方的不可否认协议
    §2.1 几个第三方协议的安全性分析
    §2.2 在线可信第三方的不可否认协议
    §2.3 带多个第三方的不可否认协议
        2.3.1 一个广义的秘密分享方案
        2.3.2 一个带多个第三方的不可否认协议
        2.3.3 争端处理
        2.3.4 协议安全性分析
    §2.4 本章小结
第三章 不可否认协议的逻辑验证
    §3.1 逻辑验证的工具
        3.1.1 BAN逻辑
        3.1.2 SVO逻辑
        3.1.3 Kailar逻辑
        3.1.4 周典萃等的形式化分析工具
    §3.2 Zhou-Gollmann不可否认协议的逻辑验证
    §3.3 本章小结
第四章 优化的不可否认协议及其应用
    §4.1 一个优化的基于离线STTP的公平不可否认协议
        4.1.1 一个新型具有指定接收者的签名加密方案
        4.1.2 协议描述
        4.1.3 争端解决
        4.1.4 协议性质与效率分析
    §4.2 多方公平交换协议
        4.2.1 签密
        4.2.2 本文协议
        4.2.3 争端解决
        4.2.4 协议特点分析
    §4.3 基于CEMBS的多方公平交换协议
        4.3.1 新型的带盲密文的CEMBS
        4.3.2 多方公平交换协议
        4.3.3 协议安全性分析
        4.3.4 协议特点分析
    §4.4 本章小结
结束语
参考文献
致谢
攻读硕士学位期间的研究成果



本文编号：3501794