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

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

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

全屏查看

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

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

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

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

形式化分析方法已經(jīng)成為協(xié)議分析的主流方法之一. 目前, 國(guó)內(nèi)針對(duì)形式化分析工具的研究很少, 工具之間的比較研究也不夠充分. 一方面, 當(dāng)前比較研究存在參比工具較少以及參比性能不全面的問(wèn)題, 另一方面, 大部分比較研究?jī)H停留在理論比較, 并沒(méi)有提供實(shí)驗(yàn)數(shù)據(jù).