互聯(lián)網(wǎng)的興起推進了社會的發(fā)展。在人們通過利用互聯(lián)網(wǎng)得到便利的同時,網(wǎng)絡(luò)信息安全問題也成了不可回避的重要問題,這些問題對社會機制和人們的日常生活構(gòu)成了威脅與挑戰(zhàn)。而密碼協(xié)議是針對網(wǎng)絡(luò)信息安全問題的一個主要解決辦法,甚至可以說是核心手段,因此密碼協(xié)議的安全性分析工作變得日趨重要。密碼協(xié)議安全性分析的主要方法有兩種,一種是基于密碼學(xué)的方法；另一種是基于形式化的方法,而邏輯方法是形式化方法中一種具有代表性的方法。這兩種分析方法都有各有優(yōu)缺點,大概來說,密碼學(xué)分析方法的優(yōu)勢在于結(jié)論可信度高,但不足之處在于分析工作技巧性更強,對人的依賴程度更大,而邏輯方法最大優(yōu)勢便是其分析過程直接、簡潔。在保證所分析結(jié)論的可信度足夠的情況下,邏輯方法分析密碼協(xié)議安全性的這種優(yōu)勢恰恰是當(dāng)今快速發(fā)展的社會對分析密碼協(xié)議安全性所追求的主要目標(biāo)。然而,以往的這種分析主要停留在技術(shù)層面,而鮮有對其中所涉的方法論和哲學(xué)基礎(chǔ)進行較深入、系統(tǒng)的研究。本文試圖通過對比利用密碼學(xué)的方法和利用邏輯方法分析密碼協(xié)議安全性的過程,依賴已有的成果并在技術(shù)層面的基礎(chǔ)上深入到哲學(xué)層面來全面地對密碼協(xié)議安全性分析的邏輯方法的優(yōu)勢與不足進行思考和分... 

【文章來源】：華東師范大學(xué)上海市 211工程院校 985工程院校 教育部直屬院校

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

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

【文章目錄】：
中文摘要
英文摘要
1. 導(dǎo)言
2. 密碼學(xué)方法
    2.1. 概述
    2.2. 典型的經(jīng)典密碼方法
    2.3. 現(xiàn)代密碼算法
3. 協(xié)議及其安全性
    3.1. 密碼協(xié)議的特點
    3.2. 密碼協(xié)議的表示方法
    3.3. 密碼協(xié)議的類型
    3.4. 基于密碼學(xué)方法的協(xié)議安全性分析過程
4. 邏輯方法
    4.1. 邏輯學(xué)的發(fā)展
    4.2. BAN邏輯
    4.3. BAN類邏輯及進一步擴展
    4.4. 最新的進展
    4.5. 利用邏輯方法對密碼協(xié)議進行安全性分析的過程
5. 邏輯方法的優(yōu)勢與不足
    5.1. 邏輯方法和密碼學(xué)方法在分析密碼協(xié)議安全性上的對比
    5.2. 邏輯方法和經(jīng)驗方法在分析密碼協(xié)議安全性上的對比
6. 幾點哲學(xué)意蘊
    6.1. 密碼協(xié)議的實在性
    6.2. 理性的作用和限度
    6.3. 知識的關(guān)聯(lián)和整合
7. 結(jié)論
參考文獻
后記


【參考文獻】：
期刊論文
[1]科學(xué)知識與理性行動[J]. 酈全民.  華東師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版). 2011(06)
[2]安全協(xié)議:信息安全保障的靈魂——安全協(xié)議分析研究現(xiàn)狀與發(fā)展趨勢[J]. 薛銳,雷新鋒.  中國科學(xué)院院刊. 2011(03)
[3]關(guān)于計算的若干哲學(xué)思考[J]. 酈全民.  自然辯證法研究. 2006(08)
[4]安全協(xié)議的形式化分析技術(shù)與方法[J]. 薛銳,馮登國.  計算機學(xué)報. 2006(01)
[5]安全協(xié)議形式化分析理論與方法研究綜述[J]. 馮登國,范紅.  中國科學(xué)院研究生院學(xué)報. 2003(04)
[6]安全協(xié)議20年研究進展[J]. 卿斯?jié)h.  軟件學(xué)報. 2003(10)
[7]從世界3到虛擬世界的涌現(xiàn)[J]. 酈全民.  自然辯證法通訊. 2003(05)
[8]安全協(xié)議的設(shè)計與邏輯分析[J]. 卿斯?jié)h.  軟件學(xué)報. 2003(07)
[9]BAN類邏輯的由來與發(fā)展[J]. 張玉清,吳建平,李星.  清華大學(xué)學(xué)報(自然科學(xué)版). 2002(01)

博士論文
[1]網(wǎng)絡(luò)協(xié)議安全性分析中的邏輯化方法研究[D]. 石曙東.華中科技大學(xué) 2009



本文編號：3445717