安全協(xié)議形式化分析工具比較研究

文檔作者：陸思奇1 2 程慶豐1 2 趙進(jìn)華3 文檔來源： 1. 洛陽外國語學(xué)院 2. 中國科學(xué)院信息工程研究所 3. 信息保障技術(shù)重點(diǎn)實(shí)驗(yàn)室		點(diǎn) 擊數(shù)：	更新時間： 2016年06月23日
下載地址：點(diǎn)擊這里	文件大?。?1.68 MB	文檔格式：	下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)）

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

如需編輯使用，請下載。

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

	文件大?。?.68 MB 文件格式：下載點(diǎn)數(shù)：1 點(diǎn)（VIP會員免費(fèi)）
形式化分析方法已經(jīng)成為協(xié)議分析的主流方法之一. 目前, 國內(nèi)針對形式化分析工具的研究很少, 工具之間的比較研究也不夠充分. 一方面, 當(dāng)前比較研究存在參比工具較少以及參比性能不全面的問題, 另一方面, 大部分比較研究僅停留在理論比較, 并沒有提供實(shí)驗(yàn)數(shù)據(jù).