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

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

Strand

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

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

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

    上傳時間: 2015-11-08

    上傳用戶:jeffery

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

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

    標簽: 協議 安全協議 密碼

    上傳時間: 2015-11-09

    上傳用戶:zhangjinzj

主站蜘蛛池模板: 安平县| 浮梁县| 吕梁市| 连州市| 萝北县| 丰台区| 谷城县| 手游| 寻乌县| 博乐市| 土默特右旗| 铁岭县| 印江| 堆龙德庆县| 台湾省| 车致| 吉水县| 大化| 苍山县| 乐安县| 特克斯县| 星子县| 文安县| 丰顺县| 阿图什市| 讷河市| 浙江省| 正安县| 宣化县| 勃利县| 抚宁县| 荥经县| 嘉鱼县| 汝南县| 金湖县| 乌拉特后旗| 高阳县| 荆州市| 兴隆县| 柘城县| 铁岭县|