安全管理網(wǎng)

安全協(xié)議的形式化分析技術(shù)與方法

文檔作者：薛銳馮登國文檔來源：中國科學院軟件研究所信息安全國家重點實驗室		點擊數(shù)：	更新時間： 2016年06月14日
下載地址：點擊這里	文件大?。?1.06 MB	文檔格式：	下載點數(shù)： 1 點（VIP免費）

全屏查看

內(nèi)容預覽

如需編輯使用，請下載。

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

文件大?。?.06 MB 文件格式：
下載點數(shù)：1 點（VIP會員免費）

　對于安全協(xié)議的形式化分析方法從技術(shù)特點上做了分類和分析. 對于安全協(xié)議分析技術(shù)的發(fā)展歷史、目前的狀況以及將來的趨勢作了總體的介紹和總結(jié). 根據(jù)作者的體會,從縱向和橫向兩個角度進行了總結(jié). 縱向方面主要是從用于分析安全協(xié)議的形式化方法的出現(xiàn)和發(fā)展的歷史角度加以總結(jié). 橫向方面主要從所應用的技術(shù)手段、技術(shù)特點入手,進行總結(jié)分析. 說明了目前協(xié)議形式化分析發(fā)展的主要方向. 對于目前國際流行的方法和模型進行了例解.