一种公平不可抵赖协议的研究.docxVIP

一种公平不可抵赖协议的研究 1 可抵赖服务 不可拒绝的服务是防止交易一方对交易中发生的具体事件或行为的欺骗。因此，不可接受的服务为不冲突的证据的产生、收集和维护提供了机制，并确定了未来可能发生的法律纠纷的基本不可接受服务如下。 (1)发信不可抵赖(Non-repudiation of Origin,简称NRO):为消息接收方提供发信的证据,防止发信方试图否认曾经发送过消息.证据的提供者是发信方; (2)接收不可抵赖(Non-repudiation of Receipt,简称NRR):为发信方提供消息已接收的证据,防止接收方试图否认曾经收到消息.证据的提供者是接收方. 除了上述两种基本的不可抵赖服务外,ISO/IEC 13888系列标准还定义了另外两种不可抵赖服务:提交不可抵赖和发送不可抵赖.这两种服务在发送代理(Delivery Agent)参与交易时才涉及. 2 .了.实验者的证明标准 ISO/IEC13888系列标准中提供的不可抵赖机制存在选择性收据问题.它的造成是由于协议存在不公平性,协议的一方可以谋得凌驾于另一方的优势地位.针对选择性接收问题,我们提出了一个利用离线TTP的适时中止的公平不可抵赖协议FNORP(Fair NOn-Repudiation Protocol).首先给出公平性和适时中止性的准确定义. 定义1不可抵赖协议被称为是公平的.如果满足以下两个条件: (1)在协议结束时,能够分别给发信方和接收方提供有效的NRR和NRO证据; (2)协议中止在任何阶段时,不会造成任何一方处于较另一方更为优势的地位,或者说协议双方要么得到了各自期望的东西,要么都得不到任何有利信息. 定义2不可抵赖协议如果在不失公平性的前提下,能够保证协议的任何一方可以单方地促使一个交易结束,那么这个不可抵赖协议就是适时中止的. 除了文的基本记号外,我们将用到如下记号: Tsb-what=sSTTP(tsb-what):在sb产生what证据时,TTP为sb生成的时间戳依据(由于篇幅所限,本文省略了TTP时间戳服务的细节). EOO-C=sSA(f1,B,L,C,TA-EOO-C):对密文C的发信证据(Evidence of Origin). EOR-C=sSB(f2,A,L,H(C),ePTTP(ePB(K)),TB-EOR-C):对密文C的收信证据(Evidence of Receipt). EOO-K=sSA(f3,B,L,ePB(K),TA-EOO-K):对密钥K的发信证据(Evidence of Origin). EOR-K=sSB(f4,A,L,K,TB-EOR-K):对密钥K的收信证据(Evidence of Receipt). sub-K=sSA(f5,B,L,ePB(K),H(C),TA-sub-K):A提交K的证明. con-K=sSTTP(f6,A,B,L,ePB(K),TTTP-con-K):TTP发布的对K的确认证据(Evidence of Confirmation). abort=sSTTP(f8,A,B,L,TTTP-abort):TTP发布的对一个交易的中止证据(Evidence of Abort). FNORP协议包括:交换子协议,中止子协议,决议子协议. 交换子协议如下: (1)A→B:f1,f5,B,L,C,TTP,ePTTP(ePB(K)),EOO-C,sub-K(msg1) IFB未收到msg1 THEN导致A等待响应超时,A执行中止子协议 ELSE IF B放弃THEN导致A等待响应超时,A执行中止子协议ELSE goto2 (2)B→A:f2,A,L,EOR-C(msg2) IFA未收到msg2 THENA执行中止子协议AND导致B等待响应超时,B执行决议子协议 ELSE IFA放弃THEN导致B等待响应超时,B执行决议子协议ELSE goto3 (3)A→B:f3,B,L,ePB(K),EOO-K(msg3) IFB未收到msg3 THENB执行决议子协议AND导致A等待响应超时,A执行决议子协议 ELSE IFB放弃THEN导致A等待响应超时,A执行决议子协议ELSE goto4 (4)B→A:f4,A,L,EOR-K(msg4) IFA未收到msg4 THENA执行决议子协议ELSE交换子协议结束 中止子协议如下: (1)A→TTP:f7,B,L,sSA(f7,B,L) IF resolved THEN (2)A←TTP:f2,f6,A,B,L,ePB(K),con-K,EOR-C ELSE (3)A←TTP:f8,A,B,L,abort 决议子协议如下,当中的U可以是A或B. (1)U→TTP:f2,f5,A,B,L,ePTTP(ePB(K)),H(C),sub-K,EOR-C IF