不可否认和谈及其应用的研究.pdfVIP

不可否认协议及其应用的研究 李艳平 摘要 随着Internet的日益发展与电子商务的普及，电子数据的安全交换对 许多电子交易变得至关重要．特别是通过开放的不安全网络传输有价消息或重要 数据时，需要一系列的安全服务来确保交易能公平进行，不可否认服务即是其中 一个重要的安全服务．它是通过为收发方生成不可辩驳的电子证据，保证电子数 据的交易方不能否认他在交易中曾发送或收到过某消息，从而迫使交易方对其行 为负责，避免了菲面对面的电子交易中可能产生的抵赖纠纷．因此，为了各种有 价电子数据公平、安全地交换，设计可提供不可否认服务的安全协议成为一一个研 究热点．我们把为提供不可否认服务而设计的的安全协议称为不可否认协议．无 疑，设计良好的不可否认协议将有利于电子商务的进一步开展． 本文就是在这样一个大背景下对不可否认协议及其应用进行了研究．对不可 否认掷议的研究背景、研究现状和研究意义进行了介绍；对不可否认协议中的基 本概念、常用术语进行了定义；分别对现已公开发表的不可否认协议存在的安全 缺陷和面临的新的安全需求进行了归纳总结．同时作者提出三个具有不同交换结 构、满足不同安垒需求与应用环境的双／多方可实现不可否认的协议，并对它们 各自的安全性进行了详细的分析与证明． 本论文的主要研究成果如下t 1．首次给出不可否认协议的明确定义和详细分类． 2．帝j用公钥体制、私钥体制和安全Hash函数与公钥证书，提出一种新的双 方不可否认协议，很好的避免了现已公开发表的双方不可否认协议中存在的多种 安全隐患，并能很好地抵抗参与各方的否认与欺诈．然后用周典萃、卿斯汉等提 出的一种新的形式化分析工具对该协议的安全性进行了逻辑验证，证明其实现了 可行性、不可否认性、强公平性和时效性． 3．借助M Girault，GPoupard和JStern提出的一个数字签名方案(后文简称 Third GPS方案)和群加密方案，提出一个带有透明可信第三方(TrustedParty,简 称为TTP)的多方不可否认协议．其中离线的TTP在协议出现纠纷酌情况下介入 协议，并生成与参与方在正常情况下生成的证据一模一样的证据，避免了对人们 对TTP介入原因的猜测以及参与方坏的声誉影响，且髓实现真正的公平和期望 传递，故在电子商务中具有很大的实用价值。 ‘ 4．首次分析了不可否认协议与公平交换协议之间的区别与联系． 5．利用公开可验证秘密共享及群加密方案，提出一个能实现不可否认的多方 公平交换协议，该协议具有以下特点；离线第三方只在意外情况下才介入协议， 实现了网上交易的最优化；离线第三方不必完全可信，因其只能解密半个密钥分 量；参与方可因意外事故退出协议而无损公平，使交易更加灵活且符合实际；保 证了交换数据的机密性和交换拓扑的保密性(包括第三方)，成功的解决了多方交 换拓扑的保密性这一公开问题． 6．对影响不可否认协议实现的其他相关问题进行了归纳总结，同时给出一些 解决思路与方法。对不可否认协议今后可能的研究热点与发展方向进行了展望． 关键词t离线半可信第三方；宣判证据；群加密方案；公开可验证秘密分享 II Their and on Protocols Non．repudiation Study LiYanping the transactions Withthe of Internet，electronic Abstract development increas