網(wǎng)絡(luò)安全的關(guān)鍵問(wèn)題之一是密碼協(xié)議的安全性。人們提出了多種密碼協(xié)議的分析方法，BAN類邏輯是其中重要的一種。而認(rèn)證邏輯系統(tǒng)本身是否可靠關(guān)系到分析結(jié)果的正確性，即如果一個(gè)邏輯系統(tǒng)是可靠的，那么通過(guò)公理推出的結(jié)論也是正確的，反之，如果公理系統(tǒng)不可靠，則分析結(jié)果不能保證正確。 邏輯化方法是分析協(xié)議的一個(gè)重要工具，但是在邏輯化方法中公理是不是可靠的，這是一個(gè)重要的問(wèn)題。木文在數(shù)理邏輯的基礎(chǔ)上，給出了認(rèn)證邏輯系統(tǒng)可靠性的概念，并對(duì)幾個(gè)邏輯系統(tǒng)進(jìn)行了可靠性分析，主要結(jié)果如下： 1．BAN邏輯是一個(gè)不完全可靠的系統(tǒng)，其中相信謂詞存存歧義，使得一些公理不能給出確定的解釋，而且還指出了公理M1、M3、N1不是概率真的； 2．GNY邏輯是一個(gè)不完全可靠的系統(tǒng)，在GNY認(rèn)證邏輯系統(tǒng)中，公理R1、R6不是概率真的； 3．SVO邏輯也是一個(gè)完全不可靠的系統(tǒng)，其中，公理A13、A16不是概率真的； 4．李邏輯是一個(gè)不完全可靠的系統(tǒng)，謂詞生成э、剛剛說(shuō)過(guò)（|≈）需要進(jìn)一步的刻劃，此外，公理AIP1、AIP5和AFM2不是概率真的。此外還對(duì)李邏輯進(jìn)行了改進(jìn)，存此基礎(chǔ)上給出了一些新的概念，增... 

【文章來(lái)源】：戰(zhàn)略支援部隊(duì)信息工程大學(xué)河南省

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

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

【文章目錄】：
中文摘要
ABSTRACT
目錄
表目錄
第一章 概論
    1.1 引言
    1.2 協(xié)議中的幾個(gè)基本概念
    1.3 協(xié)議安全性分析的幾種基本方法
    1.4 本文的結(jié)構(gòu)
第二章 基礎(chǔ)知識(shí)
    2.1 非形式的命題邏輯
    2.2 形式的命題邏輯
    2.3 非形式的謂詞邏輯
    2.4 形式的謂詞邏輯
    2.5 認(rèn)證邏輯系統(tǒng)的可靠性
第三章 BAN邏輯的可靠性分析
    3.1 BAN邏輯簡(jiǎn)介
    3.2 BAN邏輯的可靠性分析
    3.3 BAN邏輯小節(jié)
第四章 GNY邏輯的可靠性分析
    4.1 GNY邏輯簡(jiǎn)介
    4.2 GNY邏輯的可靠性分析
    4.3 GNY邏輯小節(jié)
第五章 SVO邏輯的可靠性分析
    5.1 SVO邏輯簡(jiǎn)介
    5.2 SVO邏輯的可靠性分析
    5.3 SVO邏輯小節(jié)
第六章 李邏輯的可靠性分析及其改進(jìn)
    6.1 李邏輯簡(jiǎn)介
    6.2 李邏輯的可靠性分析
    6.3 對(duì)李邏輯的改進(jìn)
    6.4 NSL協(xié)議的安全性分析
結(jié)束語(yǔ)
致謝
參考文獻(xiàn)
作者在學(xué)期間取得的學(xué)術(shù)成果


【參考文獻(xiàn)】：
期刊論文
[1]一種BAN-邏輯的修正[J]. 鄭東,王常杰,王育民.  電子科學(xué)學(xué)刊. 2000(04)

博士論文
[1]密碼協(xié)議安全性分析中的邏輯化方法——一種新的BAN類邏輯[D]. 李益發(fā).解放軍信息工程大學(xué) 2001

碩士論文
[1]邏輯化方法的改進(jìn)及若干密碼協(xié)議安全性分析[D]. 袁亞飛.中國(guó)人民解放軍信息工程大學(xué) 2005



本文編號(hào)：3567205