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

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

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