<small id="uasvt"></small>
這個是全國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
這個是關于安全郵件的,如果哪位有需要就下了吧!希望對大家有用
標簽： 家
上傳時間： 2013-12-26
上傳用戶：lz4v4
關于網絡安全的課件,如果有需要的話歡迎大家下載哦,這也是我們老師做的課件
標簽： 網絡安全 家
上傳時間： 2014-01-14
上傳用戶：趙云興
最小生成樹問題 若要在n個城市之間建設通信網絡，只需要架設n-1條線路即可。如何以最低的經濟代價建設這個通信網，是一個網的最小生成樹問題。 （1）利用克魯斯卡爾算法求網的最小生成樹。 （2）實現教科書6.5節中定義的抽象樹類型 MFSet。以此表示構造生成樹過程中的連通分量。 （3）以文本形式輸出生成樹中各條邊以及他們的權值。
標簽： 生成樹 城市 通信網絡
上傳時間： 2015-11-10
上傳用戶：jhksyghr
排列問題 M個1,N個0的排列(高效率版) 排列數為:c(m+n,n) 對n個0,m個1,我的想法是這樣的: 每個排列可以分三段: 全0列,全1列, 子問題列 設各段長:r,s,t .子問題列就是 (n,m) = (n-r,m-s),其中0<=r<=n,s=1
標簽： 高效率 分
上傳時間： 2015-11-11
上傳用戶：1051290259
可以用于電腦安全的管理，非常方便和有效，在日常運用中很使用
標簽： 電腦
上傳用戶：vodssv
74hc595驅動 gcc編譯 n個級連只要輸出n個字節后加一個鎖存時鐘（下降沿）
標簽： 595 gcc 74 hc
上傳用戶：TF2015
蟲蟲下載站版權所有 京ICP備2021023401號-1
<samp id="ymfwo"></samp>
