提出了Strand空間模型中證明安全協議的一個新思路，它從安全密鑰的概念出發，參照基于理想概念的 證明方法，得出證明所需的預備結論，從而對協議的秘密屬性與認證屬性進行證明。此外，還給出了一個針對 Yahalom．BAN協議安全性的證明實例，從中可以看到該思路非常適于采用對稱加密體制且具有密鑰分發功能的三 方認證協議的證明，并且它還使得證明過程簡潔而直觀。
標簽： Strand 空間模型 安全協議 新思
上傳時間： 2015-11-08
上傳用戶：jeffery
p2p仿真器。開發者可以工作在覆蓋層中進行創造和測試邏輯算法或者創建和測試新的服務。PlanetSim還可以將仿真代碼平穩轉換為在Internet上的實驗代碼，模擬器上的分布式服務對結構化的覆蓋層協議使用相同API，在模擬器和底層網絡上的服務并且對用戶是透明的。
標簽： PlanetSim Internet p2p 代碼
上傳時間： 2015-11-09
上傳用戶：eclipse
可愛的小新在屏幕上來回跑動。在跑動過程中，小新有豐富的肢體動作和面部表情哦。
標簽： 屏幕 過程
上傳時間： 2013-11-25
上傳用戶：nanshan
可以替換同一目錄下文本文件中某一字符串為新串
標簽： 目錄 字符串
上傳時間： 2015-11-15
上傳用戶：84425894
這篇文章是對當前IEEE中的最新的無線傳感器網絡的新發展和新動向進行預測和說明
標簽： IEEE 無線傳感器網絡 發展
上傳時間： 2013-12-19
上傳用戶：417313137
Visual Basic 6中發送郵件的新方法 用VB6編寫發送郵件的程序，有多種E-mail組件可供選擇，如MAPIMessages、IIS4.0附帶的CDONTS（NTS Collaboration Data Objects）以及許多第三方廠商開發的Email軟件等。本文介紹用CDONTS開發VB下的郵件程序方法。
標簽： Visual Basic VB6 發送
上傳時間： 2014-01-14
上傳用戶：skhlm
本文首先分析Linux2.6.6內核新特性的基礎,探討對Linux進行實時化和嵌入式化,即通過配置內核,裁減shell和嵌入式C庫對系統定制,使整個系統能夠存放到容量較小的FLASH中。然后簡單介紹了防火墻的概念,深入地分析了Linux2.6.6版新型內核防火墻netfilter框架的工作機制及其實現的方式。
標簽： Linux FLASH shell 內核
上傳時間： 2015-12-07
上傳用戶：xcy122677
小波去噪,利用小波系數在相鄰尺度上的相關性關系,針對小波系數估計中硬閾值方法和軟閾值方法的缺點, 通過對雙重量收縮函數得到的閾值乘以一個合適系數進行修定的折衷方法,提出了一種新的小波域局部自適應去噪算法.實驗結果表明,該方法既可以去除噪聲,又可以較好地保留圖像的高頻細節特征.
標簽： 閾值 小波系數 小波去噪 函數
上傳時間： 2014-09-09
上傳用戶：zhyiroy
高中數學新課程中有出現線性回歸問題，用一般的幾何畫板等軟件很難處理，現在用高等的數學軟件Mathcad可以輕松解決問題！
標簽： 線性 回歸
上傳時間： 2013-11-28
上傳用戶：q123321
關于人臉識別的一篇論文.人臉識別系統中的特征提取的一種新方法.
標簽： 人臉識別 論文 特征提取
上傳時間： 2016-01-10
上傳用戶：edisonfather
蟲蟲下載站版權所有 京ICP備2021023401號-1
