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

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

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

【相似文獻】

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

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

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

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

4 藍曉熙;;支付寶遭京東過河拆橋 劉強東又在葫蘆里賣藥[J];IT時代周刊;2011年17期

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

6 ;支付寶展示實驗性移動支付手機刷卡器產(chǎn)品[J];金卡工程;2012年10期

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

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

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

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

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

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

中國重要報紙全文數(shù)據(jù)庫 前10條

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

2 楊國強;先于阿里巴巴支付寶臺灣探路[N];第一財經(jīng)日報;2007年

3 ;支付寶為網(wǎng)店銷售帶來了什么？[N];電腦商報;2008年

4 戴遠程;支付寶用戶數(shù)突破1億[N];南方日報;2008年

5 徐曉巍;支付寶承諾購物受騙全額賠償[N];中國證券報;2008年

6 南方日報記者 戴遠程;支付寶牽手聯(lián)通加速“生活化”[N];南方日報;2009年

7 魏晨;126家境外商戶簽約支付寶[N];國際商報;2010年

8 本報記者 周婷;支付寶啟動手機安全支付[N];中國證券報;2010年

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

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

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

1 曾U，

本文編號：383498