提出了Strand空間模型中證明安全協(xié)議的一個(gè)新思路，它從安全密鑰的概念出發(fā)，參照基于理想概念的 證明方法，得出證明所需的預(yù)備結(jié)論，從而對(duì)協(xié)議的秘密屬性與認(rèn)證屬性進(jìn)行證明。此外，還給出了一個(gè)針對(duì) Yahalom．BAN協(xié)議安全性的證明實(shí)例，從中可以看到該思路非常適于采用對(duì)稱加密體制且具有密鑰分發(fā)功能的三 方認(rèn)證協(xié)議的證明，并且它還使得證明過(guò)程簡(jiǎn)潔而直觀。
資源簡(jiǎn)介：提出了Strand空間模型中證明安全協(xié)議的一個(gè)新思路，它從安全密鑰的概念出發(fā)，參照基于理想概念的 證明方法，得出證明所需的預(yù)備結(jié)論，從而對(duì)協(xié)議的秘密屬性與認(rèn)證屬性進(jìn)行證明。此外，還給出了一個(gè)針對(duì) Yahalom．BAN協(xié)議安全性的證明實(shí)例，從中可以看到該思...
上傳時(shí)間： 2015-11-08
上傳用戶：jeffery
資源簡(jiǎn)介：這個(gè)是隱markov模型中viterbi算法實(shí)現(xiàn)的一個(gè)具體實(shí)例程序 很好
上傳時(shí)間： 2015-07-02
上傳用戶：牛津鞋
資源簡(jiǎn)介：一種基于蟻群聚類的徑向基神經(jīng)網(wǎng)絡(luò) 提出了一種基于蟻群聚類算法的徑向基神經(jīng)網(wǎng)絡(luò). 利用蟻群算法的并行尋優(yōu)特征和揮發(fā)系 數(shù)方法的自適應(yīng)更改信息量的能力,并以球面聚類的方式確定了徑向基神經(jīng)網(wǎng)絡(luò)中基函數(shù)的位置, 同時(shí)通過(guò)比較隱層神經(jīng)元的相似性、合并相似...
上傳時(shí)間： 2013-12-26
上傳用戶：wuyuying
資源簡(jiǎn)介：經(jīng)網(wǎng)絡(luò)提出了一種基于蟻群聚類算法的徑向基神經(jīng)網(wǎng)絡(luò). 利用蟻群算法的并行尋優(yōu)特征和揮發(fā)系數(shù)方法的自適應(yīng)更改信息量的能力,并以球面聚類的方式確定了徑向基神經(jīng)網(wǎng)絡(luò)中基函數(shù)的位置, 同時(shí)通過(guò)比較隱層神經(jīng)元的相似性、合并相似性較為接近的2 個(gè)神經(jīng)元來(lái)約簡(jiǎn)隱...
上傳時(shí)間： 2014-01-16
上傳用戶：saharawalker
資源簡(jiǎn)介：提出了歐氏算法和IDFT相結(jié)合的RS碼流式解碼方案,并在FPGA芯片上予以實(shí)現(xiàn)。計(jì)算機(jī)仿真和實(shí)測(cè)表明,該方案在GF(28)的符號(hào)速率可達(dá)50MHz以上,最大延時(shí)為640ns,滿足了高速寬帶無(wú)線接入網(wǎng)中抗干擾編譯碼的需求。
上傳時(shí)間： 2013-12-08
上傳用戶：yulg
資源簡(jiǎn)介：為了降低圖像高層語(yǔ)義與低層視覺(jué)特征之間的語(yǔ)義差異,本文以對(duì)象描述模型為基礎(chǔ),提出利用機(jī)器轉(zhuǎn)換模型獲取圖像高層語(yǔ)義的方法。本方法首先利用圖像分割技術(shù)對(duì)圖像進(jìn)行分割,然后利用機(jī)器學(xué)習(xí)的方法,得到訓(xùn)練樣本集中高層語(yǔ)義與分割后低層視覺(jué)特征之間的先驗(yàn)概率...
上傳時(shí)間： 2014-01-04
上傳用戶：comua
資源簡(jiǎn)介：提出了裝配機(jī)器人系統(tǒng)中一種基于視覺(jué)引導(dǎo)和超聲測(cè)距的運(yùn)動(dòng)目標(biāo)跟蹤和抓取 方法。介紹了運(yùn)動(dòng)目標(biāo)的跟蹤原理，采用圖像雅可比矩陣進(jìn)行機(jī)器人運(yùn)動(dòng)控制，跟蹤運(yùn)動(dòng) 的目標(biāo)。利用視覺(jué)引導(dǎo)技術(shù)，獲取目標(biāo)在圖像平面中的位置與方位，進(jìn)行平面跟蹤，然后 引導(dǎo)超聲波...
上傳時(shí)間： 2014-01-02
上傳用戶：rocketrevenge
資源簡(jiǎn)介：單片機(jī)復(fù)位電路的可靠性設(shè)計(jì),介紹了在單片機(jī)應(yīng)用中需要用到的一些比較安全的復(fù)位方式
上傳時(shí)間： 2016-10-28
上傳用戶：agent
資源簡(jiǎn)介：本文介紹了子空間模型辨識(shí)的多種方法，并對(duì)其不同的方法進(jìn)行了綜合的分析，研究，比較。
上傳時(shí)間： 2017-05-11
上傳用戶：希醬大魔王
資源簡(jiǎn)介：本文檔很好的闡述了軟件開(kāi)發(fā)過(guò)程中要注意到的版本控制問(wèn)題，提出了很好的管理經(jīng)驗(yàn)，供大家參考
上傳時(shí)間： 2014-01-25
上傳用戶：daoxiang126
資源簡(jiǎn)介：計(jì)算機(jī)系統(tǒng)虛擬實(shí)驗(yàn)（微）匯編系統(tǒng)的開(kāi)發(fā)是在原先網(wǎng)上計(jì)算機(jī)系統(tǒng)虛擬實(shí)驗(yàn)室的基礎(chǔ)上提出的一個(gè)新課題。它是為了滿足讓學(xué)生更深一步的理解匯編及微匯編語(yǔ)言在計(jì)算機(jī)硬件系統(tǒng)中的工作原理的需要，而設(shè)計(jì)的一種將匯編及微匯編指令翻譯成機(jī)器代碼的翻譯器 現(xiàn)在市...
上傳時(shí)間： 2017-01-19
上傳用戶：維子哥哥
資源簡(jiǎn)介：<<MATLAB遺傳算法工具箱及應(yīng)用>>介紹了如何在MATLAB中完成遺傳算法的應(yīng)用。遺傳算法[Genetic Arithmatic，簡(jiǎn)稱GA]是以自然選擇和遺傳理論為基礎(chǔ)，將生物進(jìn)化過(guò)程中適者生存規(guī)則與群體內(nèi)部染色體的隨機(jī)信息交換機(jī)制相結(jié)合的高效全局尋優(yōu)搜索算法。GA摒棄傳統(tǒng)的...
上傳時(shí)間： 2017-03-09
上傳用戶：colinal
資源簡(jiǎn)介：開(kāi)放數(shù)據(jù)庫(kù)互連(ODBC)已經(jīng)成為Client/Server數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)中訪問(wèn)遠(yuǎn)程數(shù)據(jù)庫(kù)的一個(gè)標(biāo)準(zhǔn)。作為強(qiáng)大的前端開(kāi)發(fā)工具,Visual Basic為開(kāi)發(fā)者提供了多種訪問(wèn)ODBC數(shù)據(jù)源的途徑,如JET數(shù)據(jù)庫(kù)引擎、ODBC API函數(shù)、RDO接口等。比較而言,直接使用ODBC API函數(shù)的編程難度最...
上傳時(shí)間： 2014-01-04
上傳用戶：BIBI
資源簡(jiǎn)介：提出了一種二維小波變換的編碼方案：無(wú)解壓密碼
上傳時(shí)間： 2015-04-11
上傳用戶：mikesering
資源簡(jiǎn)介：該程序解決了單片機(jī)c語(yǔ)言中時(shí)序要求嚴(yán)格的問(wèn)題,已經(jīng)調(diào)試通過(guò)
上傳時(shí)間： 2014-01-04
上傳用戶：zq70996813
資源簡(jiǎn)介：Huffman于1952年提出了這種方法,開(kāi)始主要用于電報(bào)報(bào)文的編碼,常用的英文字母E,T應(yīng)該如何編碼,不常用的應(yīng)該如何編碼,
上傳時(shí)間： 2015-07-15
上傳用戶：kernaling
資源簡(jiǎn)介：這是java編程中與安全有關(guān)的一些小例子，不過(guò)是英文的，相信對(duì)于英文有一定基礎(chǔ)同時(shí)想對(duì)java安全編程有所了解的初學(xué)者有幫助
上傳時(shí)間： 2015-08-14
上傳用戶：aa54
資源簡(jiǎn)介：此文檔主要描述了話音呼叫控制中對(duì)各狀態(tài)的控制
上傳時(shí)間： 2015-09-11
上傳用戶：agent
資源簡(jiǎn)介：該源碼提供了數(shù)據(jù)壓縮算法中經(jīng)常需要使用的內(nèi)存中的位操作常用算法
上傳時(shí)間： 2015-09-30
上傳用戶：zsjinju
資源簡(jiǎn)介：收集了在電子設(shè)計(jì)中能用到的大多數(shù)的計(jì)算軟件，我相信對(duì)大家有很大的好處。
上傳時(shí)間： 2013-11-26
上傳用戶：banyou
資源簡(jiǎn)介：提出了一種基于 JPEG/JPEG2000相結(jié)合的醫(yī)學(xué)圖像感興趣區(qū)域壓縮方法。該方法對(duì)在人為選定 醫(yī)學(xué)圖像的感興趣區(qū)域采用無(wú)損的 JPEG2000壓縮 ,而對(duì)其他圖像區(qū)域則采用高壓縮比的 JPEG壓縮,較好地解決了醫(yī)學(xué)圖像的高壓縮比和高質(zhì)量之間的矛盾。
上傳時(shí)間： 2014-01-01
上傳用戶：fandeshun
資源簡(jiǎn)介：簡(jiǎn)要講解了一下linux內(nèi)核中tcpip數(shù)據(jù)流的走向
上傳時(shí)間： 2016-02-15
上傳用戶：shizhanincc
資源簡(jiǎn)介：java解惑 經(jīng)典JAVA書(shū)籍 詳細(xì)介紹了在JAVA編程中最容易出現(xiàn)的錯(cuò)誤. 值得一讀.
上傳時(shí)間： 2013-12-17
上傳用戶：784533221
資源簡(jiǎn)介：這本書(shū)講了如何在vc中開(kāi)發(fā)出漂亮的對(duì)話框界面。
上傳時(shí)間： 2016-03-05
上傳用戶：yxgi5
資源簡(jiǎn)介：摘要: 研究了蒙特卡羅仿真原理和仿真結(jié)果置信度 結(jié)合AWGN(加性白高斯噪聲) 信道特點(diǎn),甄選出3 個(gè)合適的 參量,即誤碼個(gè)數(shù)、置信概率和仿真結(jié)果最大相對(duì)誤差 提出了AWGN 信道下仿真數(shù)據(jù)量選取的一般性結(jié)論,即誤 碼個(gè)數(shù)正比于置信區(qū)間上分位點(diǎn)的平方、反比于最...
上傳時(shí)間： 2016-03-22
上傳用戶：cylnpy
資源簡(jiǎn)介：隱式曲面容易生成幾何形狀, 但是難于繪制。為了解決此缺點(diǎn), 提出了一種使用 迭代函數(shù)系統(tǒng)的點(diǎn)式隱式曲面繪制算法, 它的實(shí)現(xiàn)非常簡(jiǎn)單, 易于編程。
上傳時(shí)間： 2013-12-27
上傳用戶：hjshhyy
資源簡(jiǎn)介：包含了很多DSP編程中要用到的常用函數(shù)的代碼
上傳時(shí)間： 2013-12-15
上傳用戶：xhz1993
資源簡(jiǎn)介：本文提出了一種對(duì)μClinux 進(jìn)行實(shí)時(shí)改造的方案,該方案采用雙內(nèi)核機(jī)制,借助RTLinux 的實(shí)現(xiàn)思想,利用內(nèi) 核模塊的可動(dòng)態(tài)加載技術(shù),對(duì)普通μClinux 進(jìn)行實(shí)時(shí)性改造。實(shí)驗(yàn)表明,該系統(tǒng)實(shí)時(shí)任務(wù)的調(diào)度響應(yīng)和中斷延時(shí)在微秒級(jí) 別,能夠滿足硬實(shí)時(shí)系統(tǒng)對(duì)時(shí)間的限制。
上傳時(shí)間： 2013-12-06
上傳用戶：腳趾頭
資源簡(jiǎn)介：文章介紹了在OFDM系統(tǒng)中基于導(dǎo)頻的信道估計(jì)方法
上傳時(shí)間： 2016-09-17
上傳用戶：362279997
資源簡(jiǎn)介：本文介紹了如何在powerbuilder中實(shí)現(xiàn)動(dòng)態(tài)報(bào)表的思想，希望對(duì)有需要的朋友有所啟發(fā)
上傳時(shí)間： 2014-12-08
上傳用戶：ve3344
