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

基于串空間模型安全協(xié)議形式化分析方法的研究

文檔作者：董軍楊秀娟趙艷芹文檔來源：黑龍江科技學(xué)院計(jì)算機(jī)與信息工程學(xué)院		點(diǎn) 擊數(shù)：	更新時(shí)間： 2016年06月23日
下載地址：點(diǎn)擊這里	文件大小： 288.96 KB	文檔格式：	下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)）

全屏查看

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

如需編輯使用，請(qǐng)下載。

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

文件大小：288.96 KB 文件格式：
下載點(diǎn)數(shù)：1 點(diǎn)（VIP會(huì)員免費(fèi)）

從串空間模型理論人手，提出了三種典型的串空間形式化方法(基于極小元理論的串空間方法、基于理想與誠(chéng)實(shí)理論的串空間方法、基于認(rèn)證測(cè)試?yán)碚摰拇臻g方法)，并對(duì)每一種方法的證明步驟及優(yōu)缺點(diǎn)進(jìn)行了分析。在此基礎(chǔ)上，應(yīng)用提出的串空間方法對(duì)Yahalom協(xié)議的秘密性和認(rèn)證性進(jìn)行了分析。分析結(jié)果表明利用不同方法的優(yōu)點(diǎn)，能更好地保證安全協(xié)議形式化分析的準(zhǔn)確性。