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

安全協(xié)議形式化分析理論與方法研究綜述

文檔作者：馮登國(guó) 范紅文檔來(lái)源：中國(guó)科學(xué)院軟件研究所		點(diǎn) 擊數(shù)：	更新時(shí)間： 2016年06月27日
下載地址：點(diǎn)擊這里	文件大小： 690.80 KB	文檔格式：	下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)）

全屏查看

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

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

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

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

綜述目前安全協(xié)議形式化分析的理論與方法,包括安全協(xié)議的分類(lèi)與模型,安全協(xié)議形式化分析的3 種典型方法(基于推理的結(jié)構(gòu)性方法,基于攻擊的結(jié)構(gòu)性方法,基于證明的結(jié)構(gòu)性方法) ,安全協(xié)議分析的形式化語(yǔ)言,安全協(xié)議設(shè)計(jì)的形式化方法,以及安全協(xié)議形式化分析面臨的挑戰(zhàn)。