基于可證明安全的安全協(xié)議分析與研究.pdf

1、目前，網(wǎng)絡(luò)通信與人們的日常生產(chǎn)、生活聯(lián)系日趨緊密，然而它在給人們帶來便利的同時，通信的安全問題也凸顯出來，這個問題的解決很大程度上需要有好的安全協(xié)議來對其進行保障。目前在安全協(xié)議的研究領(lǐng)域，當以形式化方法最為流行，目前已經(jīng)演化成兩大領(lǐng)域:符號理論和可證明安全理論。其中，可證明安全理論，是近些年來發(fā)展起來的研究方法。該理論是以計算復(fù)雜度為基礎(chǔ)的，與符號理論相反，它著重于對密碼體制的研究，以此來分析、驗證、設(shè)計安全協(xié)議，由于其將安全協(xié)議的安

2、全性進行了量化，因此，使協(xié)議的安全性更加接近現(xiàn)實、更加可信。
　　 本文的理論基礎(chǔ)為可證明安全理論，研究重點為該理論下的安全協(xié)議分析方法，研究目的是用其來解決實際協(xié)議的安全性問題，主要完成了以下工作:
　　 1.利用可證明安全思想，在相應(yīng)的攻擊模型下，發(fā)現(xiàn)了由于RSA簽名算法的缺陷給TLS協(xié)議所帶來的新攻擊。這種攻擊是用符號理論方法難以發(fā)現(xiàn)的。
　　 2.針對RFID搜索協(xié)議所存在的標簽成本高、安全性差等問題，設(shè)