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

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

文檔作者：董軍楊秀娟趙艷芹文檔來源：黑龍江科技學(xué)院計算機與信息工程學(xué)院			點擊數(shù)：
下載地址：點擊這里	文件大小： 288.96 KB	文檔格式：	下載點數(shù)： 1 點（VIP免費）

全屏查看

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

如需編輯使用，請下載。

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

文件大小：288.96 KB 文件格式：
下載點數(shù)：1 點（VIP會員免費）

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