文檔作者：
薛銳 馮登國(guó)
文檔來(lái)源：
中國(guó)科學(xué)院軟件研究所信息安全國(guó)家重點(diǎn)實(shí)驗(yàn)室 |
點(diǎn) 擊 數(shù)：
|
更新時(shí)間： 2016年06月14日 |
|
下載地址： 點(diǎn)擊這里 |
文件大?。?1.06 MB |
文檔格式：
|
下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)） |
文件大小：1.06 MB 文件格式： 下載點(diǎn)數(shù)：1 點(diǎn)（VIP會(huì)員免費(fèi)） |
|
對(duì)于安全協(xié)議的形式化分析方法從技術(shù)特點(diǎn)上做了分類和分析. 對(duì)于安全協(xié)議分析技術(shù)的發(fā)展歷史、目前的狀況以及將來(lái)的趨勢(shì)作了總體的介紹和總結(jié). 根據(jù)作者的體會(huì),從縱向和橫向兩個(gè)角度進(jìn)行了總結(jié). 縱向方面主要是從用于分析安全協(xié)議的形式化方法的出現(xiàn)和發(fā)展的歷史角度加以總結(jié). 橫向方面主要從所應(yīng)用的技術(shù)手段、技術(shù)特點(diǎn)入手,進(jìn)行總結(jié)分析. 說(shuō)明了目前協(xié)議形式化分析發(fā)展的主要方向. 對(duì)于目前國(guó)際流行的方法和模型進(jìn)行了例解.   |
|
淺談如何做好安全生…
淺析安全生產(chǎn)管理措…淺析安全生產(chǎn)管理的…淺談安全生產(chǎn)監(jiān)督管理淺析安全生產(chǎn)事故頻…網(wǎng)絡(luò)安全存在的問(wèn)題…淺析安全生產(chǎn)監(jiān)管工…淺談安全生產(chǎn)風(fēng)險(xiǎn)管…
全屏查看
