提出了Strand空間模型中證明安全協議的一個新思路,它從安全密鑰的概念出發,參照基于理想概念的 證明方法,得出證明所需的預備結論,從而對協議的秘密屬性與認證屬性進行證明。此外,還給出了一個針對 Yahalom.BAN協議安全性的證明實例,從中可以看到該思路非常適于采用對稱加密體制且具有密鑰分發功能的三 方認證協議的證明,并且它還使得證明過程簡潔而直觀。
標簽: Strand 空間模型 安全協議 新思
上傳時間: 2015-11-08
上傳用戶:jeffery
:提出安全協議本質上是協議主體利用密碼學手段通過挑戰一響應來對協議另一方的存在做出判斷,并同 時完成對一些數據例如會話密鑰等的協商。依據這種思想,結合認證邏輯中的一些成果,提出了一種新的安全協 議關聯性的分析方法,該方法對協議認證目標進行了基于線空間模型語義的定義,并將關聯性分析歸結為Strand 的存在關系和Strand參數一致性的分析問題。
標簽: 協議 安全協議 密碼
上傳時間: 2015-11-09
上傳用戶:zhangjinzj
蟲蟲下載站版權所有 京ICP備2021023401號-1