在安全的分布式系統(tǒng)中，用戶需要向通信的對方證實(shí)自己的身份，同時(shí)也 需要建立秘密的會話秘鑰，認(rèn)證協(xié)議是使用戶達(dá)到認(rèn)證及交換會話秘鑰的密碼 方案。但是認(rèn)證協(xié)議的設(shè)計(jì)是容易出現(xiàn)錯(cuò)誤而又難以發(fā)現(xiàn)的。因此，研究如何 發(fā)現(xiàn)認(rèn)證協(xié)議的漏洞及如何設(shè)計(jì)安全的認(rèn)證協(xié)議是密碼學(xué)中非常重要的研究領(lǐng) 域。到目前為止，已有許多方法用于驗(yàn)證認(rèn)證協(xié)議的安全性，其中，最著名的 形式方法是由Burows, Abadi, Needham提出的BAN-邏輯。但這種邏輯具有許 多局限性，其主要原因是沒有精確的語義定義和形式的協(xié)議理想化方法。本文 主要從下列幾個(gè)方面研究BAN邏輯方法及若干協(xié)議的設(shè)計(jì)： ●研究了BAN-邏輯中存在的問題，完善了邏輯分析過程中協(xié)議的理想化方法。 ●對消息重放攻擊給出了詳細(xì)的分類，并提出了防止重放攻擊的方法：協(xié)議運(yùn) 行時(shí)，主體通過對敏感信息的判斷，能夠判斷在協(xié)議的并行運(yùn)行中，是否存在 并行攻擊。 ●指出了TMN-協(xié)議中存在的漏洞與兩種可能的攻擊，并對TMN-協(xié)議作了進(jìn)一 步的改進(jìn)。 ●提出了BAN-邏輯新的語義定義及新的邏輯推理規(guī)則，這種語義定義及邏輯 推理保留了BAN-邏輯中的大部分思想。區(qū)別是推理...

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

【學(xué)位級別】：博士

【文章目錄】：
致謝
中文摘要
英文摘要
第一章 緒論
    1.1 回顧
    1.2 研究工作概要與論文章節(jié)安排
第二章 形式邏輯原理
    2.1 認(rèn)證協(xié)議的目標(biāo)
    2.2 基本術(shù)語與推理規(guī)則
    2.3 BAN-邏輯證明框架
    2.4 小結(jié)
第三章 BAN邏輯理想化
    3.1 引言
    3.2 對一個(gè)BAN邏輯證明實(shí)例的討論
    3.3 關(guān)于理想化規(guī)則的補(bǔ)充
    3.4 實(shí)例分析
    3.5 小結(jié)
第四章 重放攻擊的討論
    4.1 消息重放的分類
    4.2 并行攻擊的討論
    4.3 TMN-協(xié)議的重放攻擊
    4.4 小結(jié)
第五章 BAN-邏輯的改進(jìn)
    5.1 引言
    5.2 BAN-邏輯中的錯(cuò)誤
    5.3 新的推理規(guī)則
    5.4 實(shí)例分析
    5.5 小結(jié)
第六章 公平交換方案
    6.1 引言
    6.2 電子商務(wù)中的公平性
    6.3 多項(xiàng)交換協(xié)議
    6.4 小結(jié)
第七章 電子商務(wù)中的電子彩票
    7.1 電子彩票
    7.2 用于零錢支付的微電子彩票
    7.3 小結(jié)
結(jié)束語
參考文獻(xiàn)
作者在攻讀博士期間發(fā)表和完成的論文



本文編號：3922328