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