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