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

【文章來源】：國防科技大學湖南省 211工程院校 985工程院校

【文章頁數】：58 頁

【學位級別】：碩士

【部分圖文】：

數字現金協議模型

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



本文編號：3143754