這個是全國SIS年會上第一次關于sis安全的討論，是一個ppt。這個需要付費才能買到的。
標簽： SIS sis
上傳時間： 2014-01-15
上傳用戶：change0329
提出了Strand空間模型中證明安全協議的一個新思路，它從安全密鑰的概念出發，參照基于理想概念的 證明方法，得出證明所需的預備結論，從而對協議的秘密屬性與認證屬性進行證明。此外，還給出了一個針對 Yahalom．BAN協議安全性的證明實例，從中可以看到該思路非常適于采用對稱加密體制且具有密鑰分發功能的三 方認證協議的證明，并且它還使得證明過程簡潔而直觀。
標簽： Strand 空間模型 安全協議 新思
上傳時間： 2015-11-08
上傳用戶：jeffery
：提出安全協議本質上是協議主體利用密碼學手段通過挑戰一響應來對協議另一方的存在做出判斷，并同 時完成對一些數據例如會話密鑰等的協商。依據這種思想，結合認證邏輯中的一些成果，提出了一種新的安全協 議關聯性的分析方法，該方法對協議認證目標進行了基于線空間模型語義的定義，并將關聯性分析歸結為Strand 的存在關系和Strand參數一致性的分析問題。
標簽： 協議 安全協議 密碼
上傳時間： 2015-11-09
上傳用戶：zhangjinzj
網絡安全開發包全解一書的源代碼，希望對大家有所幫助
標簽： 網絡安全 開發包 源代碼
上傳時間： 2014-10-12
上傳用戶：cjf0304
通訊錄管理系統1.0 可以為您方便地, 安全地管理你的通訊錄, 是您的家庭好幫手. 本系統使用Visual C++(MFC)開發, ODBC開放式數據庫源
標簽： Visual ODBC 1.0 MFC
上傳時間： 2014-01-22
上傳用戶：思琦琦
這個是關于安全郵件的,如果哪位有需要就下了吧!希望對大家有用
標簽： 家
上傳時間： 2013-12-26
上傳用戶：lz4v4
關于網絡安全的課件,如果有需要的話歡迎大家下載哦,這也是我們老師做的課件
標簽： 網絡安全 家
上傳時間： 2014-01-14
上傳用戶：趙云興
可以用于電腦安全的管理，非常方便和有效，在日常運用中很使用
標簽： 電腦
上傳時間： 2015-11-11
上傳用戶：vodssv
用C編寫的家庭財務管理小程序 defd
標簽： defd 編寫 家 程序
上傳時間： 2014-12-06
上傳用戶：lwwhust
C語言進階－如何編寫安全無錯的代碼,有具體實例說明
標簽： C語言 進階 編寫 代碼
上傳時間： 2015-11-13
上傳用戶：banyou
蟲蟲下載站版權所有 京ICP備2021023401號-1
