本文關(guān)鍵詞：基于Petri網(wǎng)的密碼協(xié)議分析，由筆耕文化傳播整理發(fā)布。

【摘要】：密碼協(xié)議的安全性分析對于保障計(jì)算機(jī)網(wǎng)絡(luò)的安全通信具有重要意義。運(yùn)用形式化方法對密碼協(xié)議進(jìn)行分析一直是該領(lǐng)域的研究熱點(diǎn)。目前密碼協(xié)議的形式分析方法包括:邏輯方法、模型檢測方法、定理證明方法和Petri網(wǎng)方法等,這些方法各自有它們的優(yōu)點(diǎn)和缺點(diǎn)。本文主要針對Petri網(wǎng)方法在密碼協(xié)議分析中存在的一些不足,研究將Petri網(wǎng)方法和模型檢測方法的一些理論成果結(jié)合起來對密碼協(xié)議進(jìn)行分析,取得了如下結(jié)果: 1.提出將運(yùn)行模式法和Petri網(wǎng)建模結(jié)合起來分析密碼協(xié)議的思想,給出了協(xié)議運(yùn)行模式的基礎(chǔ)Petri網(wǎng)模型和攻擊Petri網(wǎng)模型的概念,并闡述了兩者與密碼協(xié)議分析之間的關(guān)系。 2.給出協(xié)議運(yùn)行模式的基礎(chǔ)Petri網(wǎng)模型和攻擊Petri網(wǎng)模型的構(gòu)造方法,在此基礎(chǔ)上給出密碼協(xié)議分析的具體步驟。 3.具體對Needham—Schroeder公鑰協(xié)議,Helsinki協(xié)議以及TMN協(xié)議進(jìn)行了分析,并對密碼協(xié)議的一類攻擊的特點(diǎn)做出了概括。 本文工作的特點(diǎn)是: 1.利用協(xié)議的運(yùn)行模式來指導(dǎo)Petri網(wǎng)建模,這使得我們的方法與一般Petri網(wǎng)方法分析密碼協(xié)議的思路有所不同。 2.以一個(gè)協(xié)議的兩個(gè)實(shí)例并行運(yùn)行時(shí)可能存在的攻擊為例,探討了多個(gè)實(shí)例并行運(yùn)行情況下的協(xié)議安全問題。
【關(guān)鍵詞】：密碼協(xié)議 形式分析 Petri網(wǎng) 模型檢測 運(yùn)行模式
【學(xué)位授予單位】：山東科技大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2005
【分類號】：TN918.1
【目錄】：

• 1 緒論17-21
• 1.1 課題的提出17
• 1.2 密碼協(xié)議分析的研究現(xiàn)狀17-19
• 1.3 論文的研究思路和內(nèi)容安排19-21
• 2 密碼協(xié)議的形式分析21-30
• 2.1 密碼協(xié)議基本概念21-22
• 2.2 密碼協(xié)議的安全性22-24
• 2.3 密碼協(xié)議的形式分析24-30
• 3 Petri網(wǎng)概述30-40
• 3.1 Petri網(wǎng)及其應(yīng)用簡介30
• 3.2 Petri網(wǎng)定義30-32
• 3.3 Petri網(wǎng)系統(tǒng)模擬32-35
• 3.4 Petri網(wǎng)性質(zhì)分析35-40
• 4 基于運(yùn)行模式法和Petri網(wǎng)的密碼協(xié)議分析40-50
• 4.1 密碼協(xié)議的運(yùn)行模式分析法40-41
• 4.2 協(xié)議運(yùn)行模式的Petri網(wǎng)模型41-44
• 4.3 協(xié)議分析的具體步驟44-48
• 4.4 本章小結(jié)48-50
• 5 密碼協(xié)議分析實(shí)例50-61
• 5.1 Helsinki協(xié)議分析50-54
• 5.2 TMN協(xié)議分析54-60
• 5.3 本章小結(jié)60-61
• 6 結(jié)束語61-63
• 6.1 本文的主要工作61
• 6.2 本文工作的特點(diǎn)和不足61-62
• 6.3 下一步的工作62-63
• 致謝63-64
• 參考文獻(xiàn)64-68

【引證文獻(xiàn)】

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 劉冠君;基于網(wǎng)絡(luò)加密卡的傳輸層基本協(xié)議研究[D];黑龍江大學(xué);2012年

  本文關(guān)鍵詞：基于Petri網(wǎng)的密碼協(xié)議分析，，由筆耕文化傳播整理發(fā)布。

本文編號：490111