不可否認(rèn)協(xié)議及其應(yīng)用的研究.pdf

1、該文對(duì)不可否認(rèn)協(xié)議及其應(yīng)用進(jìn)行了研究.對(duì)不可否認(rèn)協(xié)議的研究背景、研究現(xiàn)狀和研究意義進(jìn)行了介紹;對(duì)不可否認(rèn)協(xié)議中的基本概念、常用術(shù)語(yǔ)進(jìn)行了定義;分別對(duì)現(xiàn)已公開(kāi)發(fā)表的不可否認(rèn)協(xié)議存在的安全缺陷和面臨的新的安全需求進(jìn)行了歸納總結(jié).同時(shí)作者提出三個(gè)具有不同交換結(jié)構(gòu)、滿(mǎn)足不同安全需求與應(yīng)用環(huán)境的雙/多方可實(shí)現(xiàn)不可否認(rèn)的協(xié)議,并對(duì)它們各自的安全性進(jìn)行了詳細(xì)的分析與證明.該論文的主要研究成果如下:1.首次給出不可否認(rèn)協(xié)議的明確定義和詳細(xì)分類(lèi).2.利用

2、公鑰體制、私鑰體制和安全Hash函數(shù)與公鑰證書(shū),提出一種新的雙方不可否認(rèn)協(xié)議,很好的避免了現(xiàn)已公開(kāi)發(fā)表的雙方不可否認(rèn)協(xié)議中存在的多種安全隱患,并能很好地抵抗參與各方的否認(rèn)與欺詐.然后用周典萃、卿斯?jié)h等提出的一種新的形式化分析工具對(duì)該協(xié)議的安全性進(jìn)行了邏輯驗(yàn)證,證明其實(shí)現(xiàn)了可行性、不可否認(rèn)性、強(qiáng)公平性和時(shí)效性.3.借助M Girault,G Poupard和 J Stern提出的一個(gè)數(shù)字簽名方案(后文簡(jiǎn)稱(chēng)GPS方案)和群加密方案,提出一個(gè)

3、帶有透明可信第三方(Trusted Third Party,簡(jiǎn)稱(chēng)為T(mén)TP)的多方不可否認(rèn)協(xié)議.其中離線(xiàn)的TTP在協(xié)議出現(xiàn)糾紛的情況下介入?yún)f(xié)議,并生成與參與方在正常情況下生成的證據(jù)一模一樣的證據(jù),避免了對(duì)人們對(duì)TTP介入原因的猜測(cè)以及參與方壞的聲譽(yù)影響,且能實(shí)現(xiàn)真正的公平和期望傳遞,故在電子商務(wù)中具有很大的實(shí)用價(jià)值.4.首次分析了不可否認(rèn)協(xié)議與公平交換協(xié)議之間的區(qū)別與聯(lián)系.5.利用公開(kāi)可驗(yàn)證秘密共享及群加密方案,提出一個(gè)能實(shí)現(xiàn)不可否認(rèn)的多

4、方公平交換協(xié)議,該協(xié)議具有以下特點(diǎn):離線(xiàn)第三方只在意外情況下才介入?yún)f(xié)議,實(shí)現(xiàn)了網(wǎng)上交易的最優(yōu)化;離線(xiàn)第三方不必完全可信,因其只能解密半個(gè)密鑰分量;參與方可因意外事故退出協(xié)議而無(wú)損公平,使交易更加靈活且符合實(shí)際;保證了交換數(shù)據(jù)的機(jī)密性和交換拓?fù)涞谋Ｃ苄?包括第三方),成功的解決了多方交換拓?fù)涞谋Ｃ苄赃@一公開(kāi)問(wèn)題.6.對(duì)影響不可否認(rèn)協(xié)議實(shí)現(xiàn)的其他相關(guān)問(wèn)題進(jìn)行了歸納總結(jié),同時(shí)給出一些解決思路與方法.對(duì)不可否認(rèn)協(xié)議今后可能的研究熱點(diǎn)與發(fā)展方向進(jìn)