移動自組網(wǎng)下的公平非抵賴協(xié)議及其安全性分析.pdf

1、移動自組網(wǎng)Manet(Mobilead-hocnetworks)是由若干帶有無線收發(fā)器的移動節(jié)點所組成的無基站的自治網(wǎng)絡(luò)，廣泛應(yīng)用于軍事、民用、商業(yè)等各個領(lǐng)域。在商業(yè)領(lǐng)域中，諸如電子商務(wù)、網(wǎng)上銀行的網(wǎng)絡(luò)應(yīng)用對安全性的要求極高，為此人們提出了公平非抵賴協(xié)議。
　　 非抵賴協(xié)議是指為保證交易雙方對交易行為無法抵賴，在交易結(jié)束后，交易雙方都必須得到相應(yīng)的證據(jù)，在出現(xiàn)爭議時，仲裁方便能依據(jù)雙方提供的證據(jù)進行仲裁。當(dāng)交易雙方使用非抵賴協(xié)議

2、進行交易后，雙方都不能否認(rèn)參與此次信息交換。而一個公平的非抵賴協(xié)議則是指，當(dāng)非抵賴協(xié)議結(jié)束之后，交易雙方都得到相應(yīng)的證據(jù)，或交易雙方都沒得到相應(yīng)的證據(jù)，即不會出現(xiàn)交易雙方中只有一方得到證據(jù)的情況。對于一個無法保證公平性的非抵賴協(xié)議，其結(jié)果可能會使仲裁有失公正，因此一個有效的非抵賴協(xié)議必須保證公平性。
　　 現(xiàn)有的非抵賴協(xié)議分為兩種，一種為無可信第三方TTP(TrustedThirdParty)參與的非抵賴協(xié)議，另一種為有可信第三

3、方參與的協(xié)議。無可信第三方參與的非抵賴協(xié)議中，絕大多數(shù)情況下無法保證其公平性，而能保證公平性的非抵賴協(xié)議要求又極為苛刻，例如要求發(fā)送方和接收方的計算能力相同。基于可信第三方的非抵賴協(xié)議需要選擇一個權(quán)威、中立、可信任的第三方節(jié)點或組織作為TTP來實現(xiàn)證據(jù)交換，才能保證公平性。但是固定的可信第三方存在不少缺點。第一，由于移動自組網(wǎng)Manet具有無中心節(jié)點和所有節(jié)點不可信任的特性，無法采用集中提供服務(wù)的TTP;第二，可信第三方也難以保證絕對的

4、安全，一旦可信第三方崩潰或被攻破，都會帶來難以預(yù)估的損失，同時由于每次協(xié)議的運行都需要交易雙方與可信第三方通信，易造成傳輸?shù)钠款i，最后，固定的可信第三方維護代價也較大。
　　 為此，本文對移動自組網(wǎng)下的公平非抵賴協(xié)議進行研究，研究內(nèi)容如下：
　　 首先，在可信平臺模塊TPM(TrustedPlatformModule)的安全體系結(jié)構(gòu)基礎(chǔ)上提出了一種適用于移動自組網(wǎng)、無需可信第三方的可信公平非抵賴協(xié)議。協(xié)議使用動態(tài)第三方取

5、代固定的可信第三方，同時使用TPM完整性度量技術(shù)和DAA(DirectAnonymousAttestation)遠(yuǎn)程認(rèn)證技術(shù)，保證動態(tài)第三方的可信。針對移動自組網(wǎng)Manet的無中心節(jié)點和所有節(jié)點不可信任的特點，新協(xié)議使用隨機選取的動態(tài)第三方，同時使用可信計算技術(shù)保證動態(tài)第三方的可信，使其代替?zhèn)鹘y(tǒng)的固定可信第三方完成信息交換。
　　 然后，使用形式化工具EventB對提出協(xié)議的公平性和證據(jù)的有效性進行分析證明。公平非抵賴協(xié)議對安全