文檔作者：
韓繼紅 郭淵博 王亞弟
文檔來源：
信息工程大學電子技術(shù)學院 |
點 擊 數(shù)：
|
更新時間： 2016年06月23日 |
|
下載地址： 點擊這里 |
文件大小： 428.73 KB |
文檔格式：
|
下載點數(shù)： 1 點（VIP免費） |
文件大?。?28.73 KB 文件格式： 下載點數(shù)：1 點（VIP會員免費） |
|
安全協(xié)議的形式化分析是檢驗協(xié)議安全性的必要手段。為了實現(xiàn)協(xié)議的規(guī)范描述和合理完備的安全性驗證，各種數(shù)學理論和人工智能方法被引進安全協(xié)議形式化分析與自動化驗證領(lǐng)域。主要從邏輯方法、模型檢測方法和證明方法3個方面對符號化的安全協(xié)議形式化分析方法進行了綜述，并指出了今后該領(lǐng)域的研究方向。   |
|
服務(wù)器虛擬化安全措施…風險社會與風險治理風險投資的風險防范及…試論危巖穩(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)風險管…
全屏查看