本文關(guān)鍵詞：電子商務(wù)協(xié)議的形式化分析

  更多相關(guān)文章： 電子商務(wù)協(xié)議 形式化分析 原子性 不可否認(rèn)性

【摘要】： 電子商務(wù)協(xié)議的安全性、原子性、不可否認(rèn)性等性質(zhì)的驗(yàn)證的方法一直制約著電子商務(wù)的發(fā)展。形式化分析技術(shù)可使協(xié)議設(shè)計(jì)者通過(guò)系統(tǒng)分析將注意力集中于接口、系統(tǒng)環(huán)境的假設(shè)、在不同條件下系統(tǒng)的狀態(tài)、條件不滿足時(shí)出現(xiàn)的情況以及系統(tǒng)不變的屬性,并通過(guò)系統(tǒng)驗(yàn)證,提供協(xié)議必要的安全保證。目前,國(guó)內(nèi)外形式化研究安全協(xié)議主要有基于知識(shí)與信念推理的模態(tài)邏輯方法,基于定理證明的方法和基于攻擊的結(jié)構(gòu)性方法三種。電子商務(wù)協(xié)議作為安全協(xié)議的一部分,這些方法在電子商務(wù)協(xié)議中同樣有效。 本論文應(yīng)用形式化方法對(duì)電子商務(wù)協(xié)議進(jìn)行分析,工作如下; 1.概述了電子商務(wù)協(xié)議的發(fā)展過(guò)程以及在此發(fā)展過(guò)程中運(yùn)用的加密方式和形式化方法。 2.分析了電子商務(wù)協(xié)議的安全性質(zhì),如匿名性、原子性、不可否認(rèn)性等,并給出了實(shí)例分析。 3.在對(duì)電子商務(wù)協(xié)議安全性質(zhì)全面分析的基礎(chǔ)上,設(shè)計(jì)了一個(gè)安全的電子商務(wù)協(xié)議。該協(xié)議滿足錢原子性、商品原子性以及不可否認(rèn)性,最后對(duì)協(xié)議進(jìn)行了詳細(xì)分析。
【關(guān)鍵詞】：電子商務(wù)協(xié)議 形式化分析 原子性 不可否認(rèn)性
【學(xué)位授予單位】：南昌大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2007
【分類號(hào)】：TP393.04
【目錄】：

• 摘要3-4
• ABSTRACT4-7
• 第1章 引言7-11
• 1.1 研究背景7-8
• 1.2 研究現(xiàn)狀8-10
• 1.3 研究?jī)?nèi)容10
• 1.4 本文結(jié)構(gòu)10-11
• 第2章 概述電子商務(wù)協(xié)議11-15
• 2.1 電子商務(wù)協(xié)議的背景11-12
• 2.2 電子商務(wù)協(xié)議分類12-15
• 第3章 電子商務(wù)協(xié)議安全基礎(chǔ)15-30
• 3.1 邏輯分析方法15-20
• 3.1.1 KAILAR邏輯15-17
• 3.1.2 實(shí)例分析17-20
• 3.2 模型檢測(cè)技術(shù)20-25
• 3.2.1 線性時(shí)序邏輯LTL語(yǔ)法20
• 3.2.2 線性時(shí)序邏輯LTL的語(yǔ)義20-22
• 3.2.3 模型檢測(cè)器SPIN22-25
• 3.3 加密技術(shù)25-30
• 3.3.1 對(duì)稱密鑰加密方式26-27
• 3.3.2 非對(duì)稱密鑰加密方式27
• 3.3.3 消息摘要27-28
• 3.3.4 數(shù)字簽名28-29
• 3.3.5 公鑰證書(shū)29-30
• 第4章 電子商務(wù)協(xié)議安全性質(zhì)分析30-41
• 4.1 匿名性30-31
• 4.2 原子性31-38
• 4.2.1 原子性的來(lái)源31-32
• 4.2.2 實(shí)例分析32-38
• 4.3 不可否認(rèn)性、公平性38-41
• 4.3.1 不可否認(rèn)性38-39
• 4.3.2 公平性39-41
• 第5章 一個(gè)新的電子商務(wù)協(xié)議41-49
• 5.1 設(shè)計(jì)電子商務(wù)協(xié)議的規(guī)則41
• 5.2 協(xié)議的提出41-42
• 5.3 協(xié)議的描述42-44
• 5.4 安全性分析44-49
• 5.4.1 秘密性分析44-45
• 5.4.2 可追究性分析45-46
• 5.4.3 原子性分析46-47
• 5.4.4 公平性分析47-48
• 5.4.5 其他性質(zhì)48-49
• 第6章 結(jié)論與展望49-51
• 6.1 總結(jié)49
• 6.2 展望49-51
• 致謝51-52
• 參考文獻(xiàn)52-56
• 攻讀學(xué)位期間的研究成果56

【參考文獻(xiàn)】

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

1 周典萃,卿斯?jié)h,周展飛;Kailar邏輯的缺陷[J];軟件學(xué)報(bào);1999年12期

2 白碩,隋立穎,陳慶鋒,付巖,莊超;安全協(xié)議的驗(yàn)證邏輯[J];軟件學(xué)報(bào);2000年02期

3 陳慶鋒,白碩,王駒,張師超,隋立穎;電子商務(wù)安全協(xié)議及其非單調(diào)動(dòng)態(tài)邏輯驗(yàn)證[J];軟件學(xué)報(bào);2000年02期

4 陳慶鋒,王駒,白碩,張師超,隋立穎;電子商務(wù)安全協(xié)議的邏輯驗(yàn)證[J];軟件學(xué)報(bào);2000年03期

5 周龍?bào)J;電子商務(wù)協(xié)議研究綜述[J];軟件學(xué)報(bào);2001年07期

6 周典萃 ,卿斯?jié)h ,周展飛;一種分析電子商務(wù)協(xié)議的新工具[J];軟件學(xué)報(bào);2001年09期

7 卿斯?jié)h;安全協(xié)議20年研究進(jìn)展[J];軟件學(xué)報(bào);2003年10期

8 卿斯?jié)h;電子商務(wù)協(xié)議中的可信第三方角色[J];軟件學(xué)報(bào);2003年11期

9 劉怡文,李偉琴;網(wǎng)絡(luò)支付協(xié)議的形式化安全需求及驗(yàn)證邏輯[J];通信學(xué)報(bào);2004年04期

10 郝文江;楊永川;;對(duì)Kerberos網(wǎng)絡(luò)認(rèn)證的一種改進(jìn)技術(shù)[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2007年06期

，

本文編號(hào)：775005