文檔作者：
董軍 楊秀娟 趙艷芹
文檔來源：
黑龍江科技學院計算機與信息工程學院 |
點 擊 數(shù)：
|
更新時間： 2016年06月23日 |
|
下載地址： 點擊這里 |
文件大小： 288.96 KB |
文檔格式：
|
下載點數(shù)： 1 點（VIP免費） |
文件大?。?88.96 KB 文件格式： 下載點數(shù)：1 點（VIP會員免費） |
|
從串空間模型理論人手，提出了三種典型的串空間形式化方法(基于極小元理論的串空間方法、基于理想與誠實理論的串空間方法、基于認證測試理論的串空間方法)，并對每一種方法的證明步驟及優(yōu)缺點進行了分析。在此基礎(chǔ)上，應(yīng)用提出的串空間方法對Yahalom協(xié)議的秘密性和認證性進行了分析。分析結(jié)果表明利用不同方法的優(yōu)點，能更好地保證安全協(xié)議形式化分析的準確性。   |
|
服務(wù)器虛擬化安全措施…風險社會與風險治理風險投資的風險防范及…試論危巖穩(wěn)定性評價與…安全文化助力核電企業(yè)…云計算安全防護技術(shù)探…云計算安全性探討云計算下網(wǎng)絡(luò)安全技術(shù)…
淺談如何做好安全生…
淺析安全生產(chǎn)管理措…淺析安全生產(chǎn)管理的…淺談安全生產(chǎn)監(jiān)督管理淺析安全生產(chǎn)事故頻…網(wǎng)絡(luò)安全存在的問題…淺析安全生產(chǎn)監(jiān)管工…淺談安全生產(chǎn)風險管…
全屏查看