導(dǎo)航：安全管理網(wǎng)>> 安全論文>> 綜合安全論文>>正文

安全協(xié)議形式化分析方法

文檔作者：韓繼紅郭淵博王亞弟文檔來源：信息工程大學(xué)電子技術(shù)學(xué)院		點(diǎn) 擊數(shù)：	更新時(shí)間： 2016年06月23日
下載地址：點(diǎn)擊這里	文件大?。?428.73 KB	文檔格式：	下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)）

全屏查看

內(nèi)容預(yù)覽

如需編輯使用，請(qǐng)下載。

注：預(yù)覽效果可能會(huì)出現(xiàn)部分文字亂碼（如口口口）、內(nèi)容顯示不全等問題，下載是正常的。

文件大?。?28.73 KB 文件格式：
下載點(diǎn)數(shù)：1 點(diǎn)（VIP會(huì)員免費(fèi)）

安全協(xié)議的形式化分析是檢驗(yàn)協(xié)議安全性的必要手段。為了實(shí)現(xiàn)協(xié)議的規(guī)范描述和合理完備的安全性驗(yàn)證，各種數(shù)學(xué)理論和人工智能方法被引進(jìn)安全協(xié)議形式化分析與自動(dòng)化驗(yàn)證領(lǐng)域。主要從邏輯方法、模型檢測方法和證明方法3個(gè)方面對(duì)符號(hào)化的安全協(xié)議形式化分析方法進(jìn)行了綜述，并指出了今后該領(lǐng)域的研究方向。