文檔作者：
韓繼紅 郭淵博 王亞弟
文檔來源：
信息工程大學(xué)電子技術(shù)學(xué)院 |
點 擊 數(shù)：
|
更新時間： 2016年06月23日 |
|
下載地址： 點擊這里 |
文件大?。?428.73 KB |
文檔格式：
|
下載點數(shù)： 1 點（VIP免費） |
文件大小：428.73 KB 文件格式： 下載點數(shù)：1 點（VIP會員免費） |
|
安全協(xié)議的形式化分析是檢驗協(xié)議安全性的必要手段。為了實現(xiàn)協(xié)議的規(guī)范描述和合理完備的安全性驗證，各種數(shù)學(xué)理論和人工智能方法被引進安全協(xié)議形式化分析與自動化驗證領(lǐng)域。主要從邏輯方法、模型檢測方法和證明方法3個方面對符號化的安全協(xié)議形式化分析方法進行了綜述，并指出了今后該領(lǐng)域的研究方向。   |
|
安全生產(chǎn)無小事 企業(yè)…安全措施在大型起重船…網(wǎng)絡(luò)安全的現(xiàn)狀分析和…大型場所安全監(jiān)控系統(tǒng)…服務(wù)器虛擬化安全措施…風(fēng)險社會與風(fēng)險治理風(fēng)險投資的風(fēng)險防范及…試論危巖穩(wěn)定性評價與…
淺談如何做好安全生…
淺析安全生產(chǎn)管理措…淺析安全生產(chǎn)管理的…淺談安全生產(chǎn)監(jiān)督管理淺析安全生產(chǎn)事故頻…網(wǎng)絡(luò)安全存在的問題…淺析安全生產(chǎn)監(jiān)管工…淺談安全生產(chǎn)風(fēng)險管…
全屏查看