文檔作者：
陸思奇1 2 程慶豐1 2 趙進華3
文檔來源：
1. 洛陽外國語學院 2. 中國科學院信息工程研究所 3. 信息保障技術重點實驗室 |
點 擊 數：
|
||
下載地址： 點擊這里 |
文件大小： 1.68 MB |
文檔格式：
|
下載點數： 1 點（VIP免費） |
文件大小：1.68 MB 文件格式： 下載點數：1 點（VIP會員免費） |
|
形式化分析方法已經成為協議分析的主流方法之一. 目前, 國內針對形式化分析工具的研究很少, 工具之間的比較研究也不夠充分. 一方面, 當前比較研究存在參比工具較少以及參比性能不全面的問題, 另一方面, 大部分比較研究僅停留在理論比較, 并沒有提供實驗數據.   |
|
風險與技術風險概念界…安全風險評估管理流程基于風險矩陣的企業技…360度績效考核方法在…“小散遠”項目人員安…境外能源投資企業安全…網絡銀行的安全保障措…淺析云安全檢測技術的…
淺談如何做好安全生…
淺析安全生產管理措…淺析安全生產管理的…淺談安全生產監督管理淺析安全生產事故頻…網絡安全存在的問題…淺析安全生產監管工…淺談安全生產風險管…
全屏查看