論文在李邏輯的基礎(chǔ)上提出一種新的BAN類邏輯系統(tǒng),引進(jìn)了新的符號(hào)、公式,添加了消息源公理,改進(jìn)了消息生成公理、身份認(rèn)證公理、消息接收公理,將系統(tǒng)加以擴(kuò)展,并且列出若干常用定理。系統(tǒng)更好地刻劃公鑰密碼體制在身份認(rèn)證和密鑰分發(fā)中起的作用,解決了如何對(duì)只使用公鑰密碼體制的密碼協(xié)議證明數(shù)據(jù)的雙向可追溯性,使系統(tǒng)更加完善,適用于更多密碼協(xié)議,如NSL協(xié)議。進(jìn)一步在新的認(rèn)證邏輯系統(tǒng)上,對(duì)NSL協(xié)議和3G認(rèn)證與密鑰分發(fā)協(xié)議安全性進(jìn)行了邏輯化分析。證明了NSL協(xié)議是一個(gè)強(qiáng)安全的身份認(rèn)證協(xié)議,證明了NSL中臨時(shí)值N_A和N_B的機(jī)密性和雙向可追溯性。分析了3G認(rèn)證與密鑰分發(fā)協(xié)議的安全性,并針對(duì)協(xié)議的安全漏洞,提出了改進(jìn)的協(xié)議方案,解決了用戶的身份泄露和MS對(duì)VLR的認(rèn)證的問題,MS通過產(chǎn)生的隨機(jī)數(shù),參與了密鑰的分配,增強(qiáng)了協(xié)議的安全性,并對(duì)改進(jìn)的協(xié)議安全性進(jìn)行了邏輯化分析。

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

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

【文章目錄】：
摘要
ABSTRACT
第一章 前言
第二章 基礎(chǔ)知識(shí)
    2.1 命題邏輯系統(tǒng)
    2.2 謂詞邏輯系統(tǒng)
第三章 邏輯化方法研究
    3.1 若干基本概念和記號(hào)
    3.2 新的認(rèn)證邏輯系統(tǒng)
        3.2.1 一些新符號(hào)和新公式的引進(jìn)
        3.2.2 新的公理集
        3.2.3 對(duì)公理系統(tǒng)的說明
        3.2.4 系統(tǒng)的可靠性、一致性和演繹定理
    3.3 認(rèn)證邏輯系統(tǒng)的若干常用定理
        3.3.1 關(guān)于密鑰和共享秘密的簡(jiǎn)單常用定理
        3.3.2 關(guān)于消息可恢復(fù)性、消息生成和真實(shí)性的定理
        3.3.3 關(guān)于“說過”謂詞的定理
第四章 若干密碼協(xié)議安全性分析
    3.1 NSL協(xié)議
        3.1.1 NSL協(xié)議過程
        3.1.2 NSL協(xié)議的安全性分析
    3.2 3G認(rèn)證與密鑰分發(fā)協(xié)議
        3.2.1 3G認(rèn)證與密鑰分發(fā)協(xié)議過程
        3.2.2 3G認(rèn)證與密鑰分發(fā)協(xié)議安全性分析
        3.2.3 3G認(rèn)證與密鑰分發(fā)協(xié)議的改進(jìn)方案
結(jié)束語
致謝
參考文獻(xiàn)



本文編號(hào)：3785223