不可否認(rèn)協(xié)議及其邏輯驗(yàn)證.pdf

1、開(kāi)放網(wǎng)絡(luò)上的電子商務(wù)已成為現(xiàn)代經(jīng)濟(jì)活動(dòng)的主要形式之一，但電子商務(wù)基于Internet這樣的異構(gòu)環(huán)境，通信實(shí)體間互不信任，且彼此的利益、目標(biāo)不相同.因而通信實(shí)體可根據(jù)其自身利益對(duì)已發(fā)生行為進(jìn)行否認(rèn)，且否認(rèn)已成為電子交易中最主要的威脅之一.當(dāng)出現(xiàn)此類情況時(shí)就需要網(wǎng)絡(luò)提供不可否認(rèn)服務(wù)，該服務(wù)主要是通過(guò)不可否認(rèn)協(xié)議來(lái)實(shí)現(xiàn)的.所以設(shè)計(jì)安全實(shí)用的不可否認(rèn)協(xié)議將推動(dòng)電子商務(wù)的進(jìn)一步開(kāi)展. 本文對(duì)不可否認(rèn)協(xié)議的研究背景、研究現(xiàn)狀及其邏輯驗(yàn)證方法

2、進(jìn)行了介紹；對(duì)協(xié)議涉及到的概念、分類、性質(zhì)以及驗(yàn)證工具等進(jìn)行了列總；分析了已有的幾個(gè)典型協(xié)議的設(shè)計(jì)思路、安全性；并重點(diǎn)提到了ZG不可否認(rèn)協(xié)議的形式化分析；談及到優(yōu)化的不可否認(rèn)協(xié)議及其設(shè)計(jì)；最后，涉獵到公平交換協(xié)議，它是對(duì)不可否認(rèn)協(xié)議的推廣. 本論文的主要研究成果如下：1.目前較實(shí)用的不可否認(rèn)協(xié)議都離不開(kāi)一個(gè)可信第三方或半可信第三方的介入.但實(shí)際網(wǎng)上交易時(shí)，假定存在可信第三方顯然理想化了.在某些環(huán)境中，即使半可信第三方也不易找到.

3、另外，凡有一個(gè)第三方介入的協(xié)議第三方都極易受網(wǎng)絡(luò)Hacker的攻擊，若一旦第三方受到破壞，則通信崩潰，損失很大.針對(duì)這些問(wèn)題，基于一個(gè)廣義的秘密分享方案，首次提出一個(gè)帶多個(gè)第三方的不可否認(rèn)協(xié)議，把給一個(gè)第三方的任務(wù)分散給多個(gè)第三方，大大減小了以往協(xié)議中一個(gè)第三方受攻擊的風(fēng)險(xiǎn)，同時(shí)對(duì)這多個(gè)第三方的可信度幾乎無(wú)要求，只需符合本文的入侵模型假設(shè)，故這樣的第三方處處可得. 2.基于一個(gè)新型的消息恢復(fù)的數(shù)字簽名方案，提出一個(gè)安全高效且節(jié)省

4、網(wǎng)絡(luò)資源的公平不可否認(rèn)協(xié)議.它具備的基本性質(zhì)有：公平性、不可否認(rèn)性、可終止性、實(shí)用性、高效性、機(jī)密性等.另外，協(xié)議依賴的第三方是離線工作的，它只在意外情況下才介入，且不必完全可信.因?yàn)橥ㄐ艑?shí)體之間交易的信息對(duì)它保密.還有，它的失誤能被檢測(cè)到，故該協(xié)議可實(shí)現(xiàn)網(wǎng)上交易的最優(yōu)化. 3.針對(duì)目前對(duì)多方公平交換協(xié)議研究很薄弱這一事實(shí)，基于Zheng的簽密方案，提出了一個(gè)安全高效的帶離線半可信第三方的多方公平交換協(xié)議.該協(xié)議具有以下特點(diǎn)：①

5、它是一個(gè)真正公平的多對(duì)多型(many-to-many)交換協(xié)議；②涉及的第三方是離線半可信的，其失誤能被檢測(cè)到；③它的交換拓?fù)鋵?duì)外保密(包括對(duì)第三方)；④與已有的同類協(xié)議相比，它交易過(guò)程靈活，更符合實(shí)際，且協(xié)議運(yùn)行只需較小的帶寬，節(jié)省了網(wǎng)絡(luò)資源，從而大大提高了其實(shí)用價(jià)值. 4.構(gòu)造了一種安全、高效的帶盲密文的CEMBS，基于此帶盲密文CEMBS設(shè)計(jì)出一個(gè)新型多方公平交換協(xié)議.這是一個(gè)真正公平的多對(duì)多型交換協(xié)議，其第三方是離線半可