導(dǎo)航：安全管理網(wǎng)>> 安全論文>> 綜合安全論文>>正文

安全協(xié)議的等價性問題

文檔作者：繆祥華1 何大可2 文檔來源： 1.昆明理工大學(xué)信息工程與自動化學(xué)院 2. 西南交通大學(xué)信息安全與國家計算網(wǎng)格實(shí)驗室		點(diǎn) 擊數(shù)：	更新時間： 2012年11月14日
下載地址：點(diǎn)擊這里	文件大?。?155.48 KB	文檔格式：	下載點(diǎn)數(shù)： 2 點(diǎn)（VIP免費(fèi)）

全屏查看

內(nèi)容預(yù)覽

如需編輯使用，請下載。

注：預(yù)覽效果可能會出現(xiàn)部分文字亂碼（如口口口）、內(nèi)容顯示不全等問題，下載是正常的。

文件大?。?55.48 KB 文件格式：
下載點(diǎn)數(shù)：2 點(diǎn)（VIP會員免費(fèi)）

研究了安全協(xié)議的等價性問題，提出了安全協(xié)議等價的概念。把每個安全協(xié)議的消息和目標(biāo)分別形式化為表達(dá)式集，通過一個算法分別求各表達(dá)式集合的最一般代換。如果最一般代換都存在，說明安全協(xié)議是等價的，反之則說明安全協(xié)議是不等價的。利用安全協(xié)議集合上的等價關(guān)系，可以劃分出安全協(xié)議等價類，從而減少了需研究的安全協(xié)議的數(shù)量。