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

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

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