文檔作者：
韓繼紅 郭淵博 王亞弟
文檔來源：
信息工程大學電子技術學院 |
點 擊 數：
|
||
下載地址： 點擊這里 |
文件大小： 428.73 KB |
文檔格式：
|
下載點數： 1 點（VIP免費） |
文件大小：428.73 KB 文件格式： 下載點數：1 點（VIP會員免費） |
|
安全協議的形式化分析是檢驗協議安全性的必要手段。為了實現協議的規范描述和合理完備的安全性驗證，各種數學理論和人工智能方法被引進安全協議形式化分析與自動化驗證領域。主要從邏輯方法、模型檢測方法和證明方法3個方面對符號化的安全協議形式化分析方法進行了綜述，并指出了今后該領域的研究方向。   |
|
風險與技術風險概念界…安全風險評估管理流程基于風險矩陣的企業技…360度績效考核方法在…“小散遠”項目人員安…境外能源投資企業安全…網絡銀行的安全保障措…淺析云安全檢測技術的…
淺談如何做好安全生…
淺析安全生產管理措…淺析安全生產管理的…淺談安全生產監督管理淺析安全生產事故頻…網絡安全存在的問題…淺析安全生產監管工…淺談安全生產風險管…
全屏查看