提出了Strand空間模型中證明安全協(xié)議的一個新思路，它從安全密鑰的概念出發(fā)，參照基于理想概念的
證明方法，得出證明所需的預備結論，從而對協(xié)議的秘密屬性與認證屬性進行證明。此外，還給出了一個針對
Yahalom．BAN協(xié)議安全性的證明實例，從中可以看到該思路非常適于采用對稱加密體制且具有密鑰分發(fā)功能的三
方認證協(xié)議的證明，并且它還使得證明過程簡潔而直觀。
標簽：
Strand
空間模型
安全協(xié)議
新思
上傳時間：
2015-11-08
上傳用戶：jeffery
