文檔作者：
韓繼紅 郭淵博 王亞弟
文檔來源：
信息工程大學(xué)電子技術(shù)學(xué)院 |
點 擊 數(shù)：
|
||
下載地址： 點擊這里 |
文件大小： 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)域的研究方向。   |
|
風(fēng)險與技術(shù)風(fēng)險概念界…安全風(fēng)險評估管理流程基于風(fēng)險矩陣的企業(yè)技…360度績效考核方法在…“小散遠”項目人員安…境外能源投資企業(yè)安全…網(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)險管…
全屏查看