基于四方的安全電子商務(wù)支付協(xié)議研究.pdf

1、隨著Internet的發(fā)展和電子商務(wù)的迅速普及，電子商務(wù)支付的安全越來越受到人們的重視，尤其是電子支付的原子性，已成為了電子商務(wù)領(lǐng)域的研究熱點(diǎn)之一。關(guān)于電子支付的原子性，從目前的研究成果來看，大多數(shù)的電子商務(wù)支付協(xié)議僅局限于滿足電子支付的金錢原子性，對于商品原子性和確認(rèn)發(fā)送原子性，專家學(xué)者的研究重點(diǎn)也只僅僅在于如何解決數(shù)字商品的商品原子性和確認(rèn)發(fā)送原子性，而對于滿足傳統(tǒng)商品的電子支付商品原子性和確認(rèn)發(fā)送原子性的支付協(xié)議方面的研究成果，尚

2、未見有關(guān)文獻(xiàn)報(bào)道。
　　 在分析國內(nèi)外電子支付的支付模式和支付協(xié)議現(xiàn)狀基礎(chǔ)上，重點(diǎn)研究國際電子商務(wù)支付協(xié)議標(biāo)準(zhǔn)安全電子交易SET(Secure Electronic Transaction)協(xié)議及其存在的缺陷，比較分析了國內(nèi)外學(xué)者對SET的改進(jìn)方案。以SET協(xié)議為范型，針對其不能滿足商品原子性和確認(rèn)發(fā)送原子性的缺陷，進(jìn)行了一些改進(jìn)，建立了一個(gè)基于四方的能夠自動(dòng)存取關(guān)鍵電子證據(jù)、確保商品原子性和確認(rèn)發(fā)送原子性、仲裁處理交易糾紛的安

3、全電子商務(wù)支付協(xié)議，并給出了協(xié)議的形式化描述，然后對基于四方的電子商務(wù)支付協(xié)議的安全性進(jìn)行了分析比較。
　　 根據(jù)基于四方的安全電子商務(wù)支付協(xié)議，建立了協(xié)議的有限狀態(tài)模型和安全計(jì)算樹邏輯CTL (Computation Tree Logic)公式，利用國際上流行的協(xié)議檢測工具符號模型檢測SMV(symbolic model checking)對協(xié)議的安全原子性進(jìn)行了仿真實(shí)驗(yàn)檢測驗(yàn)證，實(shí)驗(yàn)驗(yàn)證了協(xié)議滿足電子交易的安全原子性要求。<