發(fā)布時(shí)間：2017-10-25 06:26

  本文關(guān)鍵詞：基于時(shí)間自動(dòng)機(jī)的移動(dòng)支付協(xié)議的形式化驗(yàn)證及實(shí)例

  更多相關(guān)文章： 移動(dòng)支付協(xié)議 模型檢測(cè) 時(shí)間自動(dòng)機(jī) UPPAAL 支付協(xié)議驗(yàn)證

【摘要】：隨著移動(dòng)支付的廣泛應(yīng)用,移動(dòng)支付協(xié)議作為安全性的重要保障,已經(jīng)成為了學(xué)術(shù)界的研究熱點(diǎn)之一。為了保證移動(dòng)支付協(xié)議的安全性和正確性,需要對(duì)移動(dòng)支付協(xié)議進(jìn)行形式化分析、建模和驗(yàn)證。但是移動(dòng)支付協(xié)議是在移動(dòng)環(huán)境中執(zhí)行的,而且用戶使用的移動(dòng)設(shè)備在電量、計(jì)算能力和存儲(chǔ)空間方面均受到限制,這些約束都給移動(dòng)支付協(xié)議的形式化分析、建模和驗(yàn)證提出了新的挑戰(zhàn)。因此,研究移動(dòng)支付協(xié)議的形式化分析、建模和驗(yàn)證具有重大的意義。根據(jù)移動(dòng)通信的不同場(chǎng)景,Jesús Téllez Isaac等人提出了使用對(duì)稱加密技術(shù)以支付網(wǎng)關(guān)為中心的安全支付協(xié)議PCMS(Secure Payment Centric Model using Symmetric cryptography protocol),并在真實(shí)環(huán)境下對(duì)PCMS協(xié)議的執(zhí)行時(shí)間和內(nèi)存空間進(jìn)行了分析和評(píng)估。結(jié)果表明,在服務(wù)器中心模型下,PCMS協(xié)議計(jì)算量少。但是未對(duì)PCMS協(xié)議的安全性質(zhì)進(jìn)行形式化分析和驗(yàn)證,因此在實(shí)際生活中并沒(méi)有得到廣泛應(yīng)用。本文基于時(shí)間自動(dòng)機(jī)對(duì)移動(dòng)支付協(xié)議進(jìn)行了建模。分別對(duì)系統(tǒng)主體、通信環(huán)境和主體操作進(jìn)行了描述,并采用時(shí)間自動(dòng)機(jī)對(duì)移動(dòng)支付協(xié)議進(jìn)行建模和分析。在使用時(shí)間自動(dòng)機(jī)對(duì)移動(dòng)支付協(xié)議建模的基礎(chǔ)上,本文選取使用對(duì)稱加密技術(shù)以支付網(wǎng)關(guān)為中心的安全支付協(xié)議PCMS為研究對(duì)象,使用模型檢測(cè)工具UPPAAL對(duì)PCMS協(xié)議進(jìn)行了分析和驗(yàn)證。結(jié)果表明,PCMS支付協(xié)議滿足無(wú)死鎖、時(shí)效性、有效性和錢原子性。
【關(guān)鍵詞】：移動(dòng)支付協(xié)議 模型檢測(cè) 時(shí)間自動(dòng)機(jī) UPPAAL 支付協(xié)議驗(yàn)證
【學(xué)位授予單位】：鄭州大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：F832.2;TP301.1;TP309
【目錄】：

• 摘要4-5
• Abstract5-10
• 1 緒論10-18
• 1.1 研究背景及意義10-11
• 1.2 國(guó)內(nèi)外研究現(xiàn)狀11-16
• 1.3 本文的主要工作16
• 1.4 文章組織結(jié)構(gòu)16-18
• 2 移動(dòng)支付及協(xié)議18-24
• 2.1 移動(dòng)電子商務(wù)概述18-21
• 2.1.1 移動(dòng)電子商務(wù)的基本概念18
• 2.1.2 移動(dòng)電子商務(wù)的優(yōu)勢(shì)18-19
• 2.1.3 移動(dòng)通信場(chǎng)景模型19-21
• 2.2 移動(dòng)支付概述21-22
• 2.2.1 移動(dòng)支付的分類21
• 2.2.2 移動(dòng)支付的角色21-22
• 2.2.3 移動(dòng)支付的優(yōu)勢(shì)22
• 2.3 移動(dòng)支付協(xié)議22-23
• 2.4 本章小結(jié)23-24
• 3 基于時(shí)間自動(dòng)機(jī)的移動(dòng)支付協(xié)議的建模24-32
• 3.1 時(shí)間自動(dòng)機(jī)24-26
• 3.2 移動(dòng)支付協(xié)議的安全性質(zhì)26-27
• 3.3 時(shí)間自動(dòng)機(jī)描述移動(dòng)支付協(xié)議27-29
• 3.3.1 系統(tǒng)主體的描述27-28
• 3.3.2 移動(dòng)支付通信環(huán)境的描述28
• 3.3.3 主體操作的描述28-29
• 3.4 移動(dòng)支付協(xié)議的建模29-31
• 3.5 本章小結(jié)31-32
• 4 基于UPPAAL的移動(dòng)支付協(xié)議PCMS的分析與驗(yàn)證32-46
• 4.1 模型檢測(cè)工具UPPAAL32-33
• 4.2 PCMS協(xié)議簡(jiǎn)介33-37
• 4.2.1 符號(hào)說(shuō)明33-34
• 4.2.2 PCMS協(xié)議描述34-37
• 4.3 PCMS協(xié)議參與者建模37-42
• 4.3.1 顧客模型38-39
• 4.3.2 支付網(wǎng)關(guān)模型39-40
• 4.3.3 商家模型40-41
• 4.3.4 發(fā)行方模型41
• 4.3.5 收款方模型41-42
• 4.4 PCMS協(xié)議模擬42-43
• 4.5 PCMS協(xié)議驗(yàn)證43-45
• 4.6 本章小結(jié)45-46
• 5 總結(jié)與展望46-48
• 5.1 工作總結(jié)46
• 5.2 工作展望46-48
• 參考文獻(xiàn)48-51
• 個(gè)人簡(jiǎn)歷、在學(xué)期間發(fā)表的學(xué)術(shù)論文與研究成果51-52
• 致謝52

【相似文獻(xiàn)】

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

1 葉惠;全球移動(dòng)支付分析與展望[J];通訊世界;2004年06期

2 傅冬;為移動(dòng)支付吶喊[J];電子商務(wù)世界;2004年08期

3 唐綺薇;;移動(dòng)支付的多種運(yùn)營(yíng)模式[J];數(shù)字通信世界;2005年12期

4 ;后金融時(shí)代的移動(dòng)支付[J];數(shù)據(jù)通信;2006年04期

5 肖曉;;移動(dòng)支付，無(wú)處不在的魅力[J];上海信息化;2007年07期

6 翟丹妮;;我國(guó)移動(dòng)支付運(yùn)營(yíng)模式的分析[J];中國(guó)新通信;2007年22期

7 宋穎;;移動(dòng)支付之綜述篇 全球移動(dòng)支付發(fā)展現(xiàn)狀[J];通信世界;2008年01期

8 師群昌;帥青紅;;移動(dòng)支付及其在中國(guó)發(fā)展探析[J];電子商務(wù);2009年02期

9 陳琛;;移動(dòng)支付小步前行“摸石頭”的階段[J];通信世界;2009年22期

10 陳琛;;湖南:移動(dòng)支付的星星之火[J];通信世界;2009年22期

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

1 秦成德;;現(xiàn)場(chǎng)移動(dòng)支付的技術(shù)選擇[A];經(jīng)濟(jì)發(fā)展與管理創(chuàng)新--全國(guó)經(jīng)濟(jì)管理院校工業(yè)技術(shù)學(xué)研究會(huì)第十屆學(xué)術(shù)年會(huì)論文集[C];2010年

2 張志華;索煒;;移動(dòng)支付現(xiàn)場(chǎng)應(yīng)用遠(yuǎn)程支付賬戶的幾種方案[A];2011年通信與信息技術(shù)新進(jìn)展——第八屆中國(guó)通信學(xué)會(huì)學(xué)術(shù)年會(huì)論文集[C];2011年

3 邱翔;;我國(guó)近場(chǎng)移動(dòng)支付技術(shù)標(biāo)準(zhǔn)的確立發(fā)展分析[A];兩化融合與物聯(lián)網(wǎng)發(fā)展學(xué)術(shù)研討會(huì)論文集[C];2010年

4 高叢;;移動(dòng)支付與金融中介是競(jìng)爭(zhēng)還是合作?[A];通信發(fā)展戰(zhàn)略與管理創(chuàng)新學(xué)術(shù)研討會(huì)論文集[C];2006年

5 尤昊;鄭會(huì)頌;;我國(guó)移動(dòng)支付企業(yè)的運(yùn)營(yíng)效率及其影響因素研究[A];社會(huì)經(jīng)濟(jì)發(fā)展轉(zhuǎn)型與系統(tǒng)工程——中國(guó)系統(tǒng)工程學(xué)會(huì)第17屆學(xué)術(shù)年會(huì)論文集[C];2012年

6 胡s，

本文編號(hào)：1092476