視頻支付協(xié)議的設(shè)計與分析.pdf

1、隨著計算機網(wǎng)絡(luò)的普及及其技術(shù)的發(fā)展，基于網(wǎng)絡(luò)的視頻應(yīng)用越來越普遍。在因特網(wǎng)上視頻支付服務(wù)越來越重要，這一領(lǐng)域應(yīng)用數(shù)量的不斷增長，使得研究如何在因特網(wǎng)上執(zhí)行公平的在線交易的方法越來越受關(guān)注。由此，公平交易成為一個中心問題，也就是如何以公平的方式通過網(wǎng)絡(luò)交易服務(wù)，其中，如何保證交易的公平性是基于該應(yīng)用的關(guān)鍵。所謂公平性是指在協(xié)議執(zhí)行的任何階段，參與協(xié)議的任何一方都不占優(yōu)勢。公平性有兩層含義：首先，正確的執(zhí)行完協(xié)議后，應(yīng)當滿足可追究性，保證雙

2、方收到非否認證據(jù)，即保證發(fā)方收到EOR且收方收到EOO。其次，如果協(xié)議異常終止，協(xié)議應(yīng)當保證通信雙方都處于同等地位，任何一方不占任何優(yōu)勢。公平交易就是滿足公平性的安全電子商務(wù)交易。
　　 本文首先介紹了一些安全電子商務(wù)的公平性的知識，并選取了一種卿斯?jié)h老師提出的比較獨特新穎的新形式化邏輯分析方法，對其進行了介紹，并以此方法分析了三個典型的安全電子商務(wù)協(xié)議，對其中所存在的非公平現(xiàn)象的原因提出了一些解決方法，在此基礎(chǔ)上對這三個協(xié)議的