在于博弈論的交換協(xié)議理性和公平性分析.pdf

1、隨著網(wǎng)絡(luò)的普及、信息技術(shù)和電子商務(wù)的蓬勃發(fā)展,電子商務(wù)協(xié)議的研究越來越深入。交換協(xié)議是電子商務(wù)協(xié)議中很重要的一部分,通過對交換協(xié)議的建模和形式化分析來研究交換協(xié)議的設(shè)計和檢測協(xié)議中的潛在問題。公平交換協(xié)議為了確保協(xié)議參與方的公平性,在協(xié)議執(zhí)行過程中增加可信第三方來參與交換或者很復(fù)雜的通信計算來保證其實現(xiàn)。而理性交換協(xié)議盡管不保證公平性,但可確保理性參與者沒有理由不去遵守協(xié)議且不需要可信第三方參與交換或以更少的通信計算。本文首先對交換協(xié)議

2、及其形式化的研究與發(fā)展做了綜述,并著重介紹了博弈論。本文的主要工作是應(yīng)用博弈論對理性交換協(xié)議和公平交換協(xié)議進行建模和形式化分析。
　　 在這個模型中,理性交換協(xié)議和公平交換協(xié)議被當(dāng)作是協(xié)議參與方進行相互通信的博弈過程的策略集合,并且給出了理性交換和公平交換在內(nèi)交換協(xié)議的各種性質(zhì)的形式化定義。最重要的是,利用協(xié)議博弈中子博弈精煉納什均衡的定義對理性交換做了形式化定義,并與Buttyan模型做了比較。公平性則定義在不完全信息的協(xié)議博