基于符號(hào)技術(shù)的安全評(píng)估技術(shù)研究.pdf

1、安全評(píng)估技術(shù)是信息安全方向的一個(gè)非常重要的研究?jī)?nèi)容,也是現(xiàn)代密碼學(xué)領(lǐng)域中的一個(gè)非常重要的分支。通過安全評(píng)估協(xié)議,可以充分實(shí)現(xiàn)網(wǎng)絡(luò)上多用戶的互連合作,并且保證用戶信息的私有性。因此安全評(píng)估協(xié)議在安全驗(yàn)證、網(wǎng)上投票、垃圾郵件過濾、電子投標(biāo)合同、專利數(shù)據(jù)庫查詢、聯(lián)合譯碼、人臉識(shí)別、網(wǎng)上專家系統(tǒng)等方面有非常廣泛的應(yīng)用。
　　在分析和總結(jié)現(xiàn)有安全評(píng)估協(xié)議的基礎(chǔ)上,結(jié)合有序二叉決策圖(OBDD)等符號(hào)技術(shù)及擴(kuò)展形式,本文從對(duì)安全評(píng)估任務(wù)的形式

2、化描述、圖的混淆以及對(duì)圖的加解密三個(gè)方面對(duì)安全評(píng)估技術(shù)進(jìn)行了研究,并結(jié)合具體應(yīng)用問題給出了解決方法。主要研究?jī)?nèi)容和結(jié)論如下:
　　(1)對(duì)現(xiàn)有的基于符號(hào)OBDD的安全評(píng)估協(xié)議進(jìn)行優(yōu)化,建立了一種新的基于代數(shù)決策圖(ADD)的安全評(píng)估協(xié)議,并提出了相應(yīng)的ADD加解密算法。分析表明該協(xié)議安全、正確、高效。
　　(2)綜合分析了現(xiàn)有的二分支程序,提出了線性多分支程序(LMBP)的概念,用以描述多函數(shù)多分支的算法,同時(shí)在此基礎(chǔ)上給出

3、了基于線性多分支程序的安全評(píng)估協(xié)議。分析說明了協(xié)議的正確性以及安全性,實(shí)驗(yàn)結(jié)果表明,在對(duì)多函數(shù)多分支算法進(jìn)行安全評(píng)估時(shí),通信復(fù)雜度以及計(jì)算復(fù)雜度均低于現(xiàn)有的二分支程序的安全評(píng)估協(xié)議。
　　(3)將上述理論研究成果應(yīng)用于解決虛擬專用網(wǎng)絡(luò)中存在的安全隱患問題,在防火墻決策圖(FDD)的基礎(chǔ)上,重新定義了FDD,將線性多分支程序的加解密法移植到FDD。給出如何在基于符號(hào)ADD的安全評(píng)估協(xié)議基礎(chǔ)上,完成FDD中路徑分支安全選擇的詳細(xì)說明。