：提出安全協(xié)議本質(zhì)上是協(xié)議主體利用密碼學(xué)手段通過挑戰(zhàn)一響應(yīng)來對(duì)協(xié)議另一方的存在做出判斷，并同
時(shí)完成對(duì)一些數(shù)據(jù)例如會(huì)話密鑰等的協(xié)商。依據(jù)這種思想，結(jié)合認(rèn)證邏輯中的一些成果，提出了一種新的安全協(xié)
議關(guān)聯(lián)性的分析方法，該方法對(duì)協(xié)議認(rèn)證目標(biāo)進(jìn)行了基于線空間模型語(yǔ)義的定義，并將關(guān)聯(lián)性分析歸結(jié)為Strand
的存在關(guān)系和Strand參數(shù)一致性的分析問題。
標(biāo)簽：
協(xié)議
安全協(xié)議
密碼
上傳時(shí)間：
2015-11-09
上傳用戶：zhangjinzj
