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

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

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