文檔作者：
馮登國(guó) 范紅
文檔來源：
中國(guó)科學(xué)院軟件研究所 |
點(diǎn) 擊 數(shù)：
|
更新時(shí)間： 2016年06月27日 |
|
下載地址： 點(diǎn)擊這里 |
文件大小： 690.80 KB |
文檔格式：
|
下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)） |
文件大?。?90.80 KB 文件格式： 下載點(diǎn)數(shù)：1 點(diǎn)（VIP會(huì)員免費(fèi)） |
|
綜述目前安全協(xié)議形式化分析的理論與方法,包括安全協(xié)議的分類與模型,安全協(xié)議形式化分析的3 種典型方法(基于推理的結(jié)構(gòu)性方法,基于攻擊的結(jié)構(gòu)性方法,基于證明的結(jié)構(gòu)性方法) ,安全協(xié)議分析的形式化語(yǔ)言,安全協(xié)議設(shè)計(jì)的形式化方法,以及安全協(xié)議形式化分析面臨的挑戰(zhàn)。   |
|
淺談如何做好安全生…
淺析安全生產(chǎn)管理措…淺析安全生產(chǎn)管理的…淺談安全生產(chǎn)監(jiān)督管理淺析安全生產(chǎn)事故頻…網(wǎng)絡(luò)安全存在的問題…淺析安全生產(chǎn)監(jiān)管工…淺談安全生產(chǎn)風(fēng)險(xiǎn)管…
全屏查看
