提出了Strand空間模型中證明安全協議的一個新思路，它從安全密鑰的概念出發，參照基于理想概念的 證明方法，得出證明所需的預備結論，從而對協議的秘密屬性與認證屬性進行證明。此外，還給出了一個針對 Yahalom．BAN協議安全性的證明實例，從中可以看到該思路非常適于采用對稱加密體制且具有密鑰分發功能的三 方認證協議的證明，并且它還使得證明過程簡潔而直觀。
標簽： Strand 空間模型 安全協議 新思
上傳時間： 2015-11-08
上傳用戶：jeffery
：提出安全協議本質上是協議主體利用密碼學手段通過挑戰一響應來對協議另一方的存在做出判斷，并同 時完成對一些數據例如會話密鑰等的協商。依據這種思想，結合認證邏輯中的一些成果，提出了一種新的安全協 議關聯性的分析方法，該方法對協議認證目標進行了基于線空間模型語義的定義，并將關聯性分析歸結為Strand 的存在關系和Strand參數一致性的分析問題。
標簽： 協議 安全協議 密碼
上傳時間： 2015-11-09
上傳用戶：zhangjinzj
網絡安全開發包全解一書的源代碼，希望對大家有所幫助
標簽： 網絡安全 開發包 源代碼
上傳時間： 2014-10-12
上傳用戶：cjf0304
這個是關于安全郵件的,如果哪位有需要就下了吧!希望對大家有用
標簽： 家
上傳時間： 2013-12-26
上傳用戶：lz4v4
關于網絡安全的課件,如果有需要的話歡迎大家下載哦,這也是我們老師做的課件
標簽： 網絡安全 家
上傳時間： 2014-01-14
上傳用戶：趙云興
可以用于電腦安全的管理，非常方便和有效，在日常運用中很使用
標簽： 電腦
上傳時間： 2015-11-11
上傳用戶：vodssv
C語言進階－如何編寫安全無錯的代碼,有具體實例說明
標簽： C語言 進階 編寫 代碼
上傳時間： 2015-11-13
上傳用戶：banyou
[編程語言:ASP+SQL]網絡考試系統,本人的畢業設計之作,功能強大,系統穩定,安全度高，考慮了許多附加功能，更具人性化，豐富的源代碼解釋說明，普通用戶登錄帳號：羅可龍，密碼：12345，超級用戶登錄帳號：徐永剛，密碼：12345，登錄后可自主修改帳號和密碼。
標簽： ASP SQL 編程語言
上傳時間： 2014-01-04
上傳用戶：陽光少年2016
計算機密碼學－通信中的保密與安全(1)比較詳細的介紹了一些常用的密碼.
標簽： 密碼 計算機 比較 通信
上傳時間： 2015-11-16
上傳用戶：hongmo
本程序從學習網絡安全而寫的一個加密解密的程序，能準確運行
標簽： 程序 加密 網絡安全 解密
上傳時間： 2015-11-17
上傳用戶：開懷常笑
蟲蟲下載站版權所有 京ICP備2021023401號-1
