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

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

【學位級別】：碩士

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



本文編號：3785223