技術(shù)編號：7967410
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。技術(shù)領(lǐng)域本發(fā)明涉及的是一種計算機網(wǎng)絡(luò)安全技術(shù)領(lǐng)域的方法，特別是一種。背景技術(shù) 目前Internet的普及，使得信息安全問題越來越為眾多的人所關(guān)注，因此信息安全的培訓(xùn)需求也越來越大。安全協(xié)議分析作為信息安全的一個重要方面，尤其需要重視。因此，對于安全協(xié)議安全性能的分析驗證不僅具有很高的研究價值，而且在許多實際問題中都得到了廣泛的應(yīng)用。同時，安全協(xié)議的分析驗證也是一項比較復(fù)雜的技術(shù)，牽涉到代數(shù)學(xué)、圖論、計算技術(shù)等許多領(lǐng)域，研究至今已經(jīng)提出了一些算法，這些算法一般使用攻擊構(gòu)造方法，通過對協(xié)議運行中可能存在的狀態(tài)的產(chǎn)生和剪...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。