亚洲欧美第一页_禁久久精品乱码_粉嫩av一区二区三区免费野_久草精品视频

蟲蟲首頁| 資源下載| 資源專輯| 精品軟件
登錄| 注冊

Strand

  • 提出了Strand空間模型中證明安全協議的一個新思路

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

    標簽: Strand 空間模型 安全協議 新思

    上傳時間: 2015-11-08

    上傳用戶:jeffery

  • :提出安全協議本質上是協議主體利用密碼學手段通過挑戰一響應來對協議另一方的存在做出判斷

    :提出安全協議本質上是協議主體利用密碼學手段通過挑戰一響應來對協議另一方的存在做出判斷,并同 時完成對一些數據例如會話密鑰等的協商。依據這種思想,結合認證邏輯中的一些成果,提出了一種新的安全協 議關聯性的分析方法,該方法對協議認證目標進行了基于線空間模型語義的定義,并將關聯性分析歸結為Strand 的存在關系和Strand參數一致性的分析問題。

    標簽: 協議 安全協議 密碼

    上傳時間: 2015-11-09

    上傳用戶:zhangjinzj

主站蜘蛛池模板: 保亭| 乐陵市| 手游| 大安市| 德化县| 怀宁县| 滨海县| 余干县| 乐山市| 金乡县| 酒泉市| 阳曲县| 宜春市| 胶州市| 城固县| 松原市| 高邮市| 北流市| 荃湾区| 巨野县| 建德市| 灌阳县| 城固县| 河北区| 中阳县| 九台市| 广汉市| 石嘴山市| 偏关县| 慈利县| 黄石市| 青河县| 清流县| 延安市| 萨嘎县| 嵊泗县| 安平县| 东兰县| 大连市| 晋宁县| 阿鲁科尔沁旗|