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

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

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

全屏查看

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

如需編輯使用，請下載。

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

文件大小：428.73 KB 文件格式：
下載點數(shù)：1 點（VIP會員免費）

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