提出了Strand空間模型中證明安全協(xié)議的一個新思路 - 免費下載

其他資源 文件大小：195 K

?? 資源詳細(xì)信息

文件格式
RAR
所屬分類
上傳用戶
上傳時間
文件大小
195 K
所需積分
2 積分
推薦指數(shù)
????? (5/5)

?? 溫馨提示：本資源由用戶 xof1234 上傳分享，僅供學(xué)習(xí)交流使用。如有侵權(quán)，請聯(lián)系我們刪除。

資源簡介

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

源碼文件列表

?? 共 1 個源碼文件 點擊文件名可在線查看源代碼

??
溫馨提示：點擊文件名或"查看源碼"按鈕可在線瀏覽源代碼，支持語法高亮顯示。

立即下載此資源

提示：下載后請用壓縮軟件解壓，推薦使用 WinRAR 或 7-Zip

資源說明

?? 下載說明

  • 下載需消耗 2積分
  • 24小時內(nèi)重復(fù)下載不扣分
  • 支持?jǐn)帱c續(xù)傳
  • 資源永久有效

?? 使用說明

  • 下載后用解壓軟件解壓
  • 推薦 WinRAR 或 7-Zip
  • 如有密碼請查看說明
  • 解壓后即可使用

?? 積分獲取

  • 上傳資源獲得積分
  • 每日簽到免費領(lǐng)取
  • 邀請好友注冊獎勵
  • 查看詳情 →

相關(guān)標(biāo)簽

點擊標(biāo)簽查看更多相關(guān)資源：

相關(guān)資源推薦