文檔作者：
韓繼紅 郭淵博 王亞弟
文檔來源：
信息工程大學(xué)電子技術(shù)學(xué)院 |
點(diǎn) 擊 數(shù)：
|
更新時間： 2016年06月23日 |
|
下載地址： 點(diǎn)擊這里 |
文件大小： 428.73 KB |
文檔格式：
|
下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)） |
文件大小：428.73 KB 文件格式： 下載點(diǎn)數(shù)：1 點(diǎn)（VIP會員免費(fèi)） |
|
安全協(xié)議的形式化分析是檢驗(yàn)協(xié)議安全性的必要手段。為了實(shí)現(xiàn)協(xié)議的規(guī)范描述和合理完備的安全性驗(yàn)證，各種數(shù)學(xué)理論和人工智能方法被引進(jìn)安全協(xié)議形式化分析與自動化驗(yàn)證領(lǐng)域。主要從邏輯方法、模型檢測方法和證明方法3個方面對符號化的安全協(xié)議形式化分析方法進(jìn)行了綜述，并指出了今后該領(lǐng)域的研究方向。   |
|
服務(wù)器虛擬化安全措施…風(fēng)險社會與風(fēng)險治理風(fēng)險投資的風(fēng)險防范及…試論危巖穩(wěn)定性評價與…安全文化助力核電企業(yè)…云計(jì)算安全防護(hù)技術(shù)探…云計(jì)算安全性探討云計(jì)算下網(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)險管…
全屏查看