本文關(guān)鍵詞：基于知識和信念模型的電子商務(wù)協(xié)議分析，由筆耕文化傳播整理發(fā)布。

【摘要】：近年來電子商務(wù)活動發(fā)展迅速，已經(jīng)成為我們?nèi)粘ＯM(fèi)行為和國家經(jīng)濟(jì)活動的重要組成部分。如何保證電子商務(wù)交易的安全，所采用的電子商務(wù)協(xié)議是否安全可靠，成為當(dāng)今研究的熱門課題。電子商務(wù)協(xié)議不同于一般協(xié)議，作為一種安全協(xié)議不僅要滿足認(rèn)證協(xié)議、密鑰交換協(xié)議等所具有的一般安全要求，而且要具備可追究性、公平性、匿名性等電子商務(wù)協(xié)議的特殊要求。 首先，目前分析電子商務(wù)協(xié)議的模型多是移植安全協(xié)議的分析模型，不能很好地描述電子商務(wù)協(xié)議，同時不具有通用性。本文參考現(xiàn)有分析方法并通過研究現(xiàn)有電子商務(wù)協(xié)議，提出了電子商務(wù)協(xié)議的知識與信任模型。提出了知識集、信念集、知識化、全因子、切入點(diǎn)等概念，，對電子商務(wù)協(xié)議進(jìn)行了清晰、合理的形式化描述。知識集、信念集很好地描述了主體的能力，解決了長期以來對主體能力描述不清，無法進(jìn)行徹底的形式化的問題。尤其是切入點(diǎn)的提出，為攻擊者的攻擊模式提供了一般通用解決辦法，不必再依賴于現(xiàn)有的已知攻擊模式。 其次，在知識與信念模型的基礎(chǔ)上，提出了本文的推理邏輯和性質(zhì)判定標(biāo)準(zhǔn)，基于模型的原子化分類理念，同樣對推理邏輯進(jìn)行了分類型的處理，使其更加簡化，更具有通用性。同時，對判定協(xié)議的安全性、可追究性、公平性和匿名性提出了明確的推理目的并給出了系統(tǒng)的理論證明。 最后，結(jié)合具體協(xié)議驗證本文提出的方法并進(jìn)行實際應(yīng)用。通過利用本文提出的分析電子商務(wù)協(xié)議的分析方法對幾種常見的協(xié)議進(jìn)行形式化分析，研究協(xié)議的安全性、可追究性、公平性、匿名性，來驗證本文所提出的方法。
【關(guān)鍵詞】：形式化分析 知識和信念模型 全因子 切入點(diǎn)
【學(xué)位授予單位】：燕山大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2012
【分類號】：TP393.04
【目錄】：

• 摘要5-6
• Abstract6-9
• 第1章 緒論9-13
• 1.1 課題背景和研究意義9-10
• 1.2 國內(nèi)外研究現(xiàn)狀10-11
• 1.2.1 安全協(xié)議的分析方法10-11
• 1.2.2 電子商務(wù)協(xié)議的分析方法11
• 1.3 本文研究內(nèi)容11-12
• 1.4 本文組織結(jié)構(gòu)12-13
• 第2章 電子商務(wù)技術(shù)13-19
• 2.1 電子商務(wù)安全13-15
• 2.1.1 電子商務(wù)安全技術(shù)13
• 2.1.2 電子商務(wù)安全體系結(jié)構(gòu)13-14
• 2.1.3 常見電子商務(wù)安全問題14-15
• 2.2 公鑰基礎(chǔ)設(shè)施15
• 2.3 電子商務(wù)交易體系15-16
• 2.4 形式化技術(shù)16-17
• 2.5 模態(tài)邏輯17-18
• 2.6 本章小結(jié)18-19
• 第3章 知識與信念模型19-29
• 3.1 模型實體19-20
• 3.2 安全環(huán)境20-21
• 3.2.1 理想環(huán)境20
• 3.2.2 自然環(huán)境20-21
• 3.2.3 攻擊環(huán)境21
• 3.3 協(xié)議語句的語義21-22
• 3.4 知識集與信念集22-25
• 3.5 主體能力25-26
• 3.5.1 基本能力25
• 3.5.2 切入點(diǎn)25-26
• 3.6 攻擊實例26-28
• 3.7 模型建立28
• 3.8 本章小結(jié)28-29
• 第4章 推理邏輯和性質(zhì)判定29-39
• 4.1 推理邏輯29-35
• 4.1.1 邏輯語義29
• 4.1.2 推理規(guī)則29-30
• 4.1.3 推理實例30-35
• 4.2 性質(zhì)判定35-38
• 4.2.1 安全性35-36
• 4.2.2 可追究性36-37
• 4.2.3 公平性37-38
• 4.2.4 隱私性38
• 4.3 本章小結(jié)38-39
• 第5章 驗證與應(yīng)用39-57
• 5.1 IBS 協(xié)議39-45
• 5.1.1 IBS 協(xié)議語句的形式化40
• 5.1.2 IBS 協(xié)議的形式化分析40-44
• 5.1.3 IBS 協(xié)議分析總結(jié)44-45
• 5.2 ZG 協(xié)議45-49
• 5.2.1 ZG 協(xié)議語句的形式化45-46
• 5.2.2 ZG 協(xié)議的形式化分析46-48
• 5.2.3 ZG 協(xié)議分析總結(jié)48-49
• 5.3 SET 協(xié)議49-55
• 5.3.1 SET 協(xié)議語句的形式化49-51
• 5.3.2 SET 協(xié)議的形式化分析51-54
• 5.3.3 SET 協(xié)議分析總結(jié)54-55
• 5.4 性能總結(jié)55
• 5.5 與其他方法的比較55-56
• 5.6 本章小結(jié)56-57
• 結(jié)論57-59
• 參考文獻(xiàn)59-62
• 攻讀碩士學(xué)位期間承擔(dān)的科研任務(wù)與主要成果62-63
• 致謝63-64
• 作者簡介64

【參考文獻(xiàn)】

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

1 周展飛,周典萃,王貴林,卿斯?jié)h;電子商務(wù)協(xié)議的公平性[J];電子學(xué)報;2000年09期

2 顧永跟;傅育熙;;基于進(jìn)程演算和知識推理的安全協(xié)議形式化分析[J];計算機(jī)研究與發(fā)展;2006年05期

3 李繼國;曹珍富;李建中;;電子現(xiàn)金技術(shù)[J];計算機(jī)科學(xué);2004年01期

4 繆祥華;何大可;;Kailar邏輯的串空間語義[J];計算機(jī)科學(xué);2006年03期

5 郭華;李舟軍;莊雷;計宏霖;;一種新的電子商務(wù)協(xié)議分析方法[J];計算機(jī)科學(xué);2010年08期

6 陸陽;肖軍模;劉晶;;一種新的安全協(xié)議形式化分析方法——證據(jù)邏輯[J];計算機(jī)工程;2008年02期

7 王彩芬,葛建華;一種分析電子商務(wù)協(xié)議的新方法[J];計算機(jī)學(xué)報;2004年04期

8 薛銳;馮登國;;安全協(xié)議的形式化分析技術(shù)與方法[J];計算機(jī)學(xué)報;2006年01期

9 毛晨曉;羅文堅;王煦法;;分析安全協(xié)議猜測攻擊的模態(tài)邏輯方法[J];計算機(jī)學(xué)報;2007年06期

10 顧永跟;李國強(qiáng);王國鈞;;基于類pi演算的電子支付協(xié)議安全性形式化研究[J];計算機(jī)應(yīng)用研究;2006年03期

  本文關(guān)鍵詞：基于知識和信念模型的電子商務(wù)協(xié)議分析，由筆耕文化傳播整理發(fā)布。

本文編號：325144