不可否認協(xié)議及其邏輯驗證.pdf

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

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

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

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

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