數(shù)字簽名的理性公平交換協(xié)議及其形式化分析.pdf

1、數(shù)字簽名的公平交換協(xié)議在電子商務(wù)中具有廣泛的應(yīng)用,而現(xiàn)實的參與者總是從最大化自己收益的角度選擇自己的行為，使得數(shù)字簽名交換的公平性受到影響?？紤]參與者的自利性,設(shè)計合理的機制，約束參與者選擇預(yù)定的行為,實現(xiàn)數(shù)字簽名的理性公平交換,具有重要的研究意義。形式化分析方法是分析密碼協(xié)議較為有效的一種方法，對所設(shè)計的數(shù)字簽名的理性公平交換協(xié)議進行形式化分析，顯得尤為必要.本文主要研究工作如下：
　　(1)一種基于社會承諾機制的數(shù)字簽名的理性

2、公平交換協(xié)議
　　通過設(shè)計一種新的社會承諾機制，提出了一個含理性參與者的能同時生效的數(shù)字簽名的公平交換協(xié)議。經(jīng)分析該協(xié)議滿足模糊性和不可偽造性，并在給出理性同時生效簽名方案公平性和穩(wěn)定性定義的基礎(chǔ)上，分別從納什均衡和子博弈完美均衡的角度，采用擴展式博弈證明了該協(xié)議滿足理性公平性和穩(wěn)定性。
　　(2)一種基于理性秘密共享的多方數(shù)字簽名理性公平交換協(xié)議
　　設(shè)計了一個滿足激勵相容群體效應(yīng)機制的理性秘密共享方案，基于該方案提

3、出了一種效率較高的能同時生效的多方數(shù)字簽名理性公平交換協(xié)議，經(jīng)分析該協(xié)議滿足模糊性和不可偽造性，并從群體博弈納什均衡的角度證明該方案滿足理性公平性。
　　(3)基于博弈邏輯的數(shù)字簽名理性公平交換協(xié)議的形式化分析
　　為了擴展博弈邏輯ATL描述理性參與者的能力，在并行博弈結(jié)構(gòu)CGS中引入效用函數(shù)和偏好關(guān)系知識，得到新的并行認知博弈結(jié)構(gòu)rCEGS，并在合作模態(tài)算子《?》中加入行為ACT參數(shù)，提出新的可形式化分析理性安全協(xié)議的博弈