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