过程式非否认协议及设计与实现.pdfVIP

过程式非否认协议及其设计与实现 李明浩 福建警官职业学院信息技术中心（350017 ） 摘 要: 由于已有的非否认协议不能适应电子商务交流的需要.它们在实践中极少使用.电子 商务交流是多个不对称信息的交换过程,本文因此提出独立信息单元及过程式非否认协议的 概念.接着根据交流过程的特点分析了该协议的必要属性,即过程强可追究性、零公平性和并 发有限性.然后根据时间独立性给出该类协议的设计思路及实例.最后,对该实例进行实现并 实验,验证了该协议可高效结合即时通讯工具工作,可广泛应用于商务交流. 关键词: 独立信息单元;过程式非否认协议;逐步交换非否认协议;时间戳链式协议;时间独立 性 现在, 电子商务发展越来越快,商务诈骗的案件也越来越多,虚拟世界信任的构建面临极 大的困难.非否认协议是解决此类问题的有效技术手段之一,但目前业界所设计的非否认协议 并未得到广泛的应用,特别是未与即时通讯工具相结合用于商务交流.这主要是由于现有非否 认协议的设计未注意到交流的过程而只重视交流的片段内容,未注意到信息不对称的客观存 在而追求技术上的公平性.本文尝试对此问题做一探讨. 1.过程式非否认协议的提出 否认(repudiation)是指“通信的参与方否认参与了全部或部分通信”[1]。非否认服务的 目的是为某一特定事件的参与双方提供证据，使他们对自己的行为负责。 商务活动中, 交流双方( 无论是否利益相对方) 进行信息交流,通常存在信息不对称 (asymmetric information). 所谓非对称信息,就是交流关系中一方知道而另一方不知道的信息. 如卖者知道产品的质量,而买者不知道;卖房者知道房子的原材料是什么,是否含有有害物质, 面积是不是有水分,但是买房者却不一定知道甚至没有能力知道……所有这些现象都可称为 信息不对称.信息不对称的客观存在,也产生了商务活动欺骗的可能.正如诺贝尔经济学奖获 得者 George A. Akerlof 指出,卖方能向买方推销低质量商品等现象的存在是因为市场双方各 自所掌握的信息不对称所造成的.[2]非否认协议的目的就是让交流参与方无法否认 自己在交 流过程中所表达的一切信息(包括由此而产生的内在与暗示信息),正是基于可能存在的欺骗. 交流是一个逻辑上连续的过程,而不仅仅是一个交流结果.在以往的非否认协议设计中, 重视的却是交流结果的非否认.即设计时,落脚点在于交流后的确定结果的非否认,如交易与 否及交易方式,而针对交易讨论过程的非否认却基本没有涉及. 为讨论此结论,先引入一个定义. 定义 1 独立信息单元(independent information unit):有确定意义的信息。在协议中它可 被分为 n 个非独立片段。 通俗地讲,就是通过一次交换就可以完成交流的信息.通常指交流过程中表达确定意义的 一句问话或回答. 以往的非否认协议,其交换的信息都是一个独立信息单元,而不是由多个独立信息单元构 成的信息交流过程. 所有基于可信第三方的协议,如 ISO/IEC 13888 中提出的三种模式(M1、M2 和 M3) 、 Coffey-Saidha 协议[3]、CMP1 与 CMP2[4]、Asokan-Shoup-Waidner 协议[5] 、Zhou-Gollmann 协议[1]及其优化协议[6]、Robinson- Cook –Shrivastava 协议[7]、Kremer- Markowitch 协议[8]、 -1- Bilal-Thomas-Harrington-Abraham 协议[9]等,协议中的信息都只是一个独立信息单元.如果要 记录交流的全过程,即多个独立信息单元的交互,则需要多次运行该协议. 而逐步交换协议(gradual exchange protocol)通过许多步骤一步一步地暴露所交换的消息. 此外,还有一类协议可以实现所谓“概率公平性”.这类协议类似于逐步交换协议:第1,它无须第 三方参与;第2,通过许