文檔作者：
繆祥華1 何大可2
文檔來源：
1.昆明理工大學(xué)信息工程與自動化學(xué)院 2. 西南交通大學(xué)信息安全與國家計算網(wǎng)格實驗室 |
點 擊 數(shù)：
|
更新時間： 2012年11月14日 |
|
下載地址： 點擊這里 |
文件大?。?155.48 KB |
文檔格式：
|
下載點數(shù)： 2 點（VIP免費(fèi)） |
文件大?。?55.48 KB 文件格式： 下載點數(shù)：2 點（VIP會員免費(fèi)） |
|
研究了安全協(xié)議的等價性問題，提出了安全協(xié)議等價的概念。把每個安全協(xié)議的消息和目標(biāo)分別形式化為表達(dá)式集，通過一個算法分別求各表達(dá)式集合的最一般代換。如果最一般代換都存在，說明安全協(xié)議是等價的，反之則說明安全協(xié)議是不等價的。利用安全協(xié)議集合上的等價關(guān)系，可以劃分出安全協(xié)議等價類，從而減少了需研究的安全協(xié)議的數(shù)量。   |
|
服務(wù)器虛擬化安全措施…風(fēng)險社會與風(fēng)險治理風(fēng)險投資的風(fēng)險防范及…試論危巖穩(wěn)定性評價與…安全文化助力核電企業(yè)…云計算安全防護(hù)技術(shù)探…云計算安全性探討云計算下網(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)險管…
全屏查看