国产精品麻豆久久99,韩日在线播放,午夜体验,鲁鲁狠色综合色综合网站,亚洲视频区,高清2019av手机版,精品中文字幕不卡在线视频

安全管理網(wǎng)

安全協(xié)議的等價(jià)性問(wèn)題

文檔作者: 繆祥華1 何大可2        文檔來(lái)源: 1.昆明理工大學(xué)信息工程與自動(dòng)化學(xué)院 2. 西南交通大學(xué)信息安全與國(guó)家計(jì)算網(wǎng)格實(shí)驗(yàn)室
點(diǎn) 擊 數(shù):
更新時(shí)間: 2012年11月14日
下載地址: 點(diǎn)擊這里
文件大?。?155.48 KB
文檔格式:       
下載點(diǎn)數(shù): 2 點(diǎn)(VIP免費(fèi))
內(nèi)容預(yù)覽
如需編輯使用,請(qǐng)下載。
注:預(yù)覽效果可能會(huì)出現(xiàn)部分文字亂碼(如口口口)、內(nèi)容顯示不全等問(wèn)題,下載是正常的。
文件大小:155.48 KB      文件格式:
下載點(diǎn)數(shù):2 點(diǎn)(VIP會(huì)員免費(fèi))

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

收藏本頁(yè)到會(huì)員中心
網(wǎng)友評(píng)論 more
創(chuàng)想安科網(wǎng)站簡(jiǎn)介會(huì)員服務(wù)廣告服務(wù)業(yè)務(wù)合作提交需求會(huì)員中心在線投稿版權(quán)聲明友情鏈接聯(lián)系我們