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

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

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

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