本文關(guān)鍵詞：基于支付寶交易協(xié)議的行為分析，由筆耕文化傳播整理發(fā)布。

【摘要】：安全性和可靠性是電子商務(wù)交易協(xié)議安全領(lǐng)域最重要的部分。同時(shí)支付寶作為國(guó)內(nèi)第三方支付平臺(tái)代表之一,其安全性對(duì)國(guó)內(nèi)電子商務(wù)安全的影響較大。在大量閱讀國(guó)內(nèi)外交易協(xié)議和形式化驗(yàn)證文獻(xiàn)的基礎(chǔ)上,本文通過(guò)接口分析、數(shù)據(jù)包采樣分析等方式確定支付寶交易的流程,并以此為基礎(chǔ)利用有限自動(dòng)機(jī)理論對(duì)支付寶交易協(xié)議進(jìn)行形式化驗(yàn)證,在分析驗(yàn)證過(guò)程中針對(duì)支付寶交易協(xié)議存在的買(mǎi)家隱私暴露問(wèn)題提出了改進(jìn)方案和框架。(1).本文提出了一種基于有限自動(dòng)機(jī)理論對(duì)交易協(xié)議進(jìn)行形式化分析和驗(yàn)證的框架,并以支付寶交易協(xié)議的完整流程為例進(jìn)行安全分析和驗(yàn)證。(2).在深入研究支付寶交易協(xié)議的基礎(chǔ)上,分析發(fā)現(xiàn)該交易協(xié)議中存在隱私信息過(guò)度暴露的問(wèn)題,并提出了一種保護(hù)買(mǎi)家隱私的網(wǎng)上購(gòu)物解決方案。該方案即能有效解決買(mǎi)家隱私泄露問(wèn)題,又能解決電子商務(wù)中信息監(jiān)管的問(wèn)題。(3).本文還對(duì)改進(jìn)型交易協(xié)議的協(xié)議安全屬性規(guī)范進(jìn)行了分析。
【關(guān)鍵詞】：有限自動(dòng)機(jī) 形式化驗(yàn)證 支付協(xié)議 第三方支付 買(mǎi)家隱私 安全屬性
【學(xué)位授予單位】：西北師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP393.08
【目錄】：

• 摘要8-9
• Abstract9-10
• 1 緒論10-14
• 1.1 背景10
• 1.2 交易協(xié)議的安全性10-11
• 1.3 買(mǎi)家隱私問(wèn)題11-12
• 1.4 本文主要工作12
• 1.5 論文結(jié)構(gòu)安排12-14
• 2 經(jīng)典交易協(xié)議及分析驗(yàn)證技術(shù)14-20
• 2.1 SET協(xié)議14-16
• 2.2 SET變種協(xié)議16
• 2.3 國(guó)內(nèi)外研究現(xiàn)狀16-18
• 2.3.1 協(xié)議形式化方法16
• 2.3.2 協(xié)議驗(yàn)證分析工具16-18
• 2.4 自動(dòng)機(jī)18-20
• 2.4.1 自動(dòng)機(jī)原理18-20
• 3 國(guó)內(nèi)基于第三方支付的網(wǎng)上交易架構(gòu)20-24
• 3.1 支付寶交易協(xié)議20-24
• 3.1.1 擔(dān)保交易模式20
• 3.1.2 基本框架及功能特征20-22
• 3.1.3 交易協(xié)議形式化描述22-24
• 4 支付寶交易協(xié)議分析及驗(yàn)證24-35
• 4.1 基于有限自動(dòng)機(jī)的交易協(xié)議驗(yàn)證框架24-25
• 4.2 支付寶交易協(xié)議的模型分析25-26
• 4.3 支付寶交易協(xié)議的自動(dòng)機(jī)模型26-30
• 4.3.1 支付寶的有限自動(dòng)機(jī)模型26-28
• 4.3.2 貨款與貨物的自動(dòng)機(jī)模型28-29
• 4.3.3 伴隨行為的狀態(tài)轉(zhuǎn)移描述29-30
• 4.4 基于有限自動(dòng)機(jī)理論的驗(yàn)證30-35
• 4.4.1 驗(yàn)證算法31-33
• 4.4.2 實(shí)驗(yàn)結(jié)果及分析33-34
• 4.4.3 協(xié)議漏洞分析的方法34-35
• 5. 傳統(tǒng)交易框架中用戶隱私問(wèn)題35-42
• 5.1 隱私信息保護(hù)分析35-36
• 5.2 改進(jìn)型保護(hù)用戶隱私的交易協(xié)議36-42
• 5.2.1 改進(jìn)型交易模式的架構(gòu)36-37
• 5.2.2 改進(jìn)型交易協(xié)議37-42
• 6. 改進(jìn)型交易協(xié)議的分析42-45
• 6.1 改進(jìn)型交易協(xié)議在隱私信息保護(hù)方面的分析42
• 6.2 改進(jìn)型交易協(xié)議在應(yīng)用方面的分析42-43
• 6.3 改進(jìn)型交易協(xié)議在安全方面的分析43-45
• 7 總結(jié)與展望45-47
• 7.1 論文工作總結(jié)45
• 7.2 未來(lái)工作展望45-47
• 參考文獻(xiàn)47-50
• 攻讀碩士期間發(fā)表的論文和申請(qǐng)的專利50-51
• 致謝51

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 踏莎而行;;支付寶:廣發(fā)紅包[J];電子商務(wù)世界;2006年Z1期

2 陳佳;;用支付寶去交房租啦![J];電腦知識(shí)與技術(shù)(經(jīng)驗(yàn)技巧);2009年05期

3 梁辰;;支付寶“贖身”記 十年內(nèi)或?qū)⑸鲜衃J];通信世界;2011年28期

4 藍(lán)曉熙;;支付寶遭京東過(guò)河拆橋 劉強(qiáng)東又在葫蘆里賣(mài)藥[J];IT時(shí)代周刊;2011年17期

5 ;告訴你所不知道的支付寶文化[J];電腦愛(ài)好者;2011年21期

6 ;支付寶展示實(shí)驗(yàn)性移動(dòng)支付手機(jī)刷卡器產(chǎn)品[J];金卡工程;2012年10期

7 張薇;;“萬(wàn)能”的支付寶[J];電腦知識(shí)與技術(shù)(經(jīng)驗(yàn)技巧);2012年11期

8 本刊編輯部;;支付寶余額寶業(yè)務(wù)違規(guī)[J];金融科技時(shí)代;2013年07期

9 本刊編輯部;;新版支付寶可聲波支付[J];金融科技時(shí)代;2013年11期

10 linnake;;告訴你支付寶登陸不了怎么辦[J];計(jì)算機(jī)與網(wǎng)絡(luò);2013年23期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 ;支付及金融衍生類電子商務(wù)企業(yè)的發(fā)展創(chuàng)新[A];中國(guó)電子商務(wù)企業(yè)發(fā)展報(bào)告2013[C];2013年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 郝楠;從支付寶看網(wǎng)上購(gòu)物信用體系[N];中國(guó)企業(yè)報(bào);2007年

2 楊國(guó)強(qiáng);先于阿里巴巴支付寶臺(tái)灣探路[N];第一財(cái)經(jīng)日?qǐng)?bào);2007年

3 ;支付寶為網(wǎng)店銷(xiāo)售帶來(lái)了什么？[N];電腦商報(bào);2008年

4 戴遠(yuǎn)程;支付寶用戶數(shù)突破1億[N];南方日?qǐng)?bào);2008年

5 徐曉巍;支付寶承諾購(gòu)物受騙全額賠償[N];中國(guó)證券報(bào);2008年

6 南方日?qǐng)?bào)記者 戴遠(yuǎn)程;支付寶牽手聯(lián)通加速“生活化”[N];南方日?qǐng)?bào);2009年

7 魏晨;126家境外商戶簽約支付寶[N];國(guó)際商報(bào);2010年

8 本報(bào)記者 周婷;支付寶啟動(dòng)手機(jī)安全支付[N];中國(guó)證券報(bào);2010年

9 正望咨詢副總裁 周洪美;支付寶價(jià)值幾何？[N];北京商報(bào);2011年

10 記者 程婕;捷星航空與支付寶達(dá)成戰(zhàn)略合作協(xié)議[N];中國(guó)民航報(bào);2011年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 曾U，

本文編號(hào)：383498