文檔作者：
馮登國 范紅
文檔來源：
中國科學院軟件研究所 |
點 擊 數：
|
更新時間： 2016年06月27日 |
|
下載地址： 點擊這里 |
文件大?。?690.80 KB |
文檔格式：
|
下載點數： 1 點（VIP免費） |
文件大?。?90.80 KB 文件格式： 下載點數：1 點（VIP會員免費） |
|
綜述目前安全協(xié)議形式化分析的理論與方法,包括安全協(xié)議的分類與模型,安全協(xié)議形式化分析的3 種典型方法(基于推理的結構性方法,基于攻擊的結構性方法,基于證明的結構性方法) ,安全協(xié)議分析的形式化語言,安全協(xié)議設計的形式化方法,以及安全協(xié)議形式化分析面臨的挑戰(zhàn)。   |
|
服務器虛擬化安全措施…風險社會與風險治理風險投資的風險防范及…試論危巖穩(wěn)定性評價與…安全文化助力核電企業(yè)…云計算安全防護技術探…云計算安全性探討云計算下網絡安全技術…
淺談如何做好安全生…
淺析安全生產管理措…淺析安全生產管理的…淺談安全生產監(jiān)督管理淺析安全生產事故頻…網絡安全存在的問題…淺析安全生產監(jiān)管工…淺談安全生產風險管…
全屏查看