文檔作者：
薛銳 馮登國
文檔來源：
中國科學(xué)院軟件研究所信息安全國家重點實驗室 |
點 擊 數(shù)：
|
更新時間： 2016年06月14日 |
|
下載地址： 點擊這里 |
文件大?。?1.06 MB |
文檔格式：
|
下載點數(shù)： 1 點（VIP免費） |
文件大?。?.06 MB 文件格式： 下載點數(shù)：1 點（VIP會員免費） |
|
對于安全協(xié)議的形式化分析方法從技術(shù)特點上做了分類和分析. 對于安全協(xié)議分析技術(shù)的發(fā)展歷史、目前的狀況以及將來的趨勢作了總體的介紹和總結(jié). 根據(jù)作者的體會,從縱向和橫向兩個角度進行了總結(jié). 縱向方面主要是從用于分析安全協(xié)議的形式化方法的出現(xiàn)和發(fā)展的歷史角度加以總結(jié). 橫向方面主要從所應(yīng)用的技術(shù)手段、技術(shù)特點入手,進行總結(jié)分析. 說明了目前協(xié)議形式化分析發(fā)展的主要方向. 對于目前國際流行的方法和模型進行了例解.   |
|
服務(wù)器虛擬化安全措施…風(fēng)險社會與風(fēng)險治理風(fēng)險投資的風(fēng)險防范及…試論危巖穩(wěn)定性評價與…安全文化助力核電企業(yè)…云計算安全防護技術(shù)探…云計算安全性探討云計算下網(wǎng)絡(luò)安全技術(shù)…
淺談如何做好安全生…
淺析安全生產(chǎn)管理措…淺析安全生產(chǎn)管理的…淺談安全生產(chǎn)監(jiān)督管理淺析安全生產(chǎn)事故頻…網(wǎng)絡(luò)安全存在的問題…淺析安全生產(chǎn)監(jiān)管工…淺談安全生產(chǎn)風(fēng)險管…
全屏查看