發(fā)布時(shí)間：2021-04-17 16:16

　　電子商務(wù)的核心是電子支付，支付信息的泄露和受損將直接損害企業(yè)和用戶的切身利益，所以安全性是實(shí)現(xiàn)電子支付要考慮的最關(guān)鍵的問題。目前應(yīng)用較多的電子支付方式是信用卡和電子支票，但是隨著基于紙張的經(jīng)濟(jì)向數(shù)字經(jīng)濟(jì)的轉(zhuǎn)變，數(shù)字現(xiàn)金將成為主宰。 目前，在數(shù)字現(xiàn)金研究領(lǐng)域國(guó)外已有一些研究成果，國(guó)內(nèi)尚處于學(xué)習(xí)國(guó)外技術(shù)的初級(jí)階段。數(shù)字現(xiàn)金安全分析方面國(guó)內(nèi)外都沒有一個(gè)能夠嚴(yán)格描述和驗(yàn)證數(shù)字現(xiàn)金協(xié)議的邏輯模型，基于這種背景，本課題的研究目的是設(shè)計(jì)一個(gè)安全的數(shù)字現(xiàn)金協(xié)議，實(shí)現(xiàn)一個(gè)簡(jiǎn)易電子交易系統(tǒng)來展示該協(xié)議的思想，并建立一個(gè)邏輯模型來形式化描述該協(xié)議且對(duì)其進(jìn)行安全性分析。 本文提出了一類脫線式數(shù)字現(xiàn)金協(xié)議。該協(xié)議解決了數(shù)字現(xiàn)金匿名和可追蹤性的矛盾，保證了數(shù)字現(xiàn)金的強(qiáng)安全性。為了詳細(xì)展示協(xié)議的思想，作者設(shè)計(jì)了一個(gè)基于Internet的簡(jiǎn)易電子交易系統(tǒng)。為了形式化驗(yàn)證數(shù)字現(xiàn)金的安全性，本文在經(jīng)典一階邏輯的基礎(chǔ)上，吸取了多類邏輯、動(dòng)態(tài)邏輯和非單調(diào)邏輯的思想，提出了BZL邏輯模型。運(yùn)用該邏輯，本文對(duì)數(shù)字現(xiàn)金的安全、匿名和可追蹤性等性質(zhì)進(jìn)行推理驗(yàn)證。通過在電子交易系統(tǒng)的實(shí)際應(yīng)用和BZL邏輯的形式化驗(yàn)證，證明了... 

【文章來源】：國(guó)防科技大學(xué)湖南省 211工程院校 985工程院校

【文章頁(yè)數(shù)】：58 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

數(shù)字現(xiàn)金協(xié)議模型

【參考文獻(xiàn)】：
期刊論文
[1]一種脫線式數(shù)字現(xiàn)金系統(tǒng)[J]. 張玲,殷建平,劉湘輝,許江.  計(jì)算機(jī)工程與科學(xué). 2001(06)
[2]電子商務(wù)技術(shù)及其安全問題[J]. 唐禮勇,陳鐘.  計(jì)算機(jī)工程與應(yīng)用. 2000(07)
[3]電子商務(wù)技術(shù)的發(fā)展與研究[J]. 王少鋒,王克宏.  計(jì)算機(jī)工程與應(yīng)用. 2000(04)
[4]SET協(xié)議中問題的分析及解決方案[J]. 陳慶鋒,白碩,王駒,張師超,隋立穎.  計(jì)算機(jī)學(xué)報(bào). 2000(02)



本文編號(hào)：3143754