文檔作者：
陸思奇1 2 程慶豐1 2 趙進(jìn)華3
文檔來源：
1. 洛陽外國語學(xué)院 2. 中國科學(xué)院信息工程研究所 3. 信息保障技術(shù)重點(diǎn)實(shí)驗室 |
點(diǎn) 擊 數(shù)：
|
更新時間： 2016年06月23日 |
|
下載地址： 點(diǎn)擊這里 |
文件大?。?1.68 MB |
文檔格式：
|
下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)） |
文件大?。?.68 MB 文件格式： 下載點(diǎn)數(shù)：1 點(diǎn)（VIP會員免費(fèi)） |
|
形式化分析方法已經(jīng)成為協(xié)議分析的主流方法之一. 目前, 國內(nèi)針對形式化分析工具的研究很少, 工具之間的比較研究也不夠充分. 一方面, 當(dāng)前比較研究存在參比工具較少以及參比性能不全面的問題, 另一方面, 大部分比較研究僅停留在理論比較, 并沒有提供實(shí)驗數(shù)據(jù).   |
|
安全生產(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)險管…
全屏查看