[摘要] 公平性是電子合同簽訂的基本要求,由于人為因素或網(wǎng)絡(luò)通訊故障的影響,會導(dǎo)致合同無法正常簽訂,從而損害一方的利益。引入可信第三方(TTP)利用裁決矩陣,較好地解決了此問題。
[關(guān)鍵詞] 電子合同 簽名 裁決
在網(wǎng)絡(luò)電子交易中,合同的簽訂需要公平地保障到雙方的利益,防止任何一方的否認(rèn)、抵賴和假冒行為。例如網(wǎng)絡(luò)故障和安全隱患可能會造成合同文本的丟失或缺損,當(dāng)發(fā)生合同糾紛時一方因合同內(nèi)容對己不利而聲稱沒有收到簽名,普通的簽名體制往往無法判斷、排除一方的主觀傾向或線路故障,從而導(dǎo)致使另一方處于不公平境地。
電子合同的公平性主要體現(xiàn)在兩方面:交易雙方通過網(wǎng)絡(luò)各自交換自己的數(shù)字簽名,簽名效力與順序無關(guān),即交易雙方的主體是平等的;交易雙方對合同的簽訂結(jié)果確知。雙方均有有效的證據(jù)來證明該簽訂結(jié)果的成功與否。
合同的公平性僅僅依賴雙方是難以實現(xiàn)的,即使能夠?qū)崿F(xiàn),雙方的通信量也過大,影響實用性。在此,可引入可信的第三方(TTP),讓其參與合同的簽訂,為了提高效率,只是在發(fā)生異常時,如一方作弊時,才讓第三方介入裁決。
一、系統(tǒng)的方案描述
A、B:簽訂電子合同的主體雙方
TTP:可信的第三方
σ:簽名算法過程,如A對某文本m用自己的私鑰簽名,可表示為σA(m)
m:合同文本
H:散列函數(shù)
U:裁決矩陣,為一2*2矩陣,用于公平性裁決。
二、簽訂過程描述
此時,若無其他異常,雙方各自保留簽名文本和回執(zhí),則合同正常簽訂完畢。
但如果是由于線路故障,或出于利益,雙方中各有一方否認(rèn)接收到簽名,其回執(zhí)形式如下:
A方:σA(B,H(m),NORECIEVE,T3)
B方:σB(A,H(m),NORECIEVE,T3’)
三、公平裁決的實現(xiàn)
產(chǎn)生公平裁決的主要原因不外乎以下幾種:
①信線路故障而引起的否認(rèn)。
②接收到答復(fù)或回執(zhí)而否認(rèn)抵賴。
③假冒簽名或回執(zhí)。
一般來說,作弊方不會申請裁決,TTP 接收到申請后,根據(jù)接收到的A,B 雙方的備案σA(H(m),T1’ )、σB(H(m),T1)生成動作矩陣,根據(jù)動作矩陣,產(chǎn)生裁決結(jié)果,裁決矩陣U的定義如下:
矩陣U的幾種情形
第一種情形:表明有一方?jīng)]有收到簽名或回執(zhí),任何一方均可申請TTP 做出有效性裁決??尚诺谌绞盏紸或B的請求,則生成合同有效裁決,并發(fā)送給A和B,其裁決內(nèi)容即使用自己的私鑰,對收到的A,B的內(nèi)容進(jìn)行簽名,因為TTP的簽名是不可能假冒的,因此可作為證據(jù),其具體的形式為:σTTP(H(m),σA(m),σB(m),A,B)。
這樣,對于A來說,合同的有效性證據(jù)為M,σB(m),σB(σA(m),T1)及σTTP(H(m),σA(m),A,B);對于B來說,合同的有效性證據(jù)為M,σA(m),,,σA(σB(m),T1)及σTTP(H(m)σA(m),σB(m),A,B)。只要一方能提供出這些證據(jù),就可判定曾經(jīng)有效簽訂過合同。
第二種情形,有一方?jīng)]有收到回執(zhí),但另一方已擁有了合同有效證據(jù),有能力向TTP提出申請裁決。
第三種情形,雙方都沒有證明合同有效的證據(jù),都可向TTP提出申請裁決。如果一方作弊,TTP 依然能夠提供證據(jù)加以識別,或提供合同確自己簽訂的有效證據(jù)。如果雙方均作弊,則雙方均不會提出裁決申請。
第四種情形,雙方都沒有證明合同有效的證據(jù),雙方即沒有作弊能力,也沒有向TTP提出申請的能力。
第五種情形,雙方均具有證明合同有效的證據(jù),這是最理想的情況,任意一方的作弊將毫無價值。
得上所述,引人可信第三方TTP后,能夠保證電子合同簽訂過程的公平、公正性,對于惡意的抵賴、否認(rèn)具有監(jiān)督力,作弊方不會獲得利益,更不會使對方處于不利地位,從而得實現(xiàn)公平性。
四、結(jié)束語
在本方案中,雙方在簽訂合同時并未與TTP交換更多信息,只有兩次單向傳送,TTP只是在裁決時才介入,因此效率是比較高的。主要的缺陷是TTP的通信必須可靠,如果合同文本或回執(zhí)不能正確完整地傳給TTP備案,則會造成裁決失敗。
本文中所涉及到的圖表、注解、公式等內(nèi)容請以PDF格式閱讀原文。