不可否认协及其逻辑验证.pdfVIP

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