提出了Strand空間模型中證明安全協(xié)議的一個新思路,它從安全密鑰的概念出發(fā),參照基于理想概念的 證明方法,得出證明所需的預(yù)備結(jié)論,從而對協(xié)議的秘密屬性與認(rèn)證屬性進(jìn)行證明。此外,還給出了一個針對 Yahalom.BAN協(xié)議安全性的證明實例,從中可以看到該思路非常適于采用對稱加密體制且具有密鑰分發(fā)功能的三 方認(rèn)證協(xié)議的證明,并且它還使得證明過程簡潔而直觀。
標(biāo)簽: Strand 空間模型 安全協(xié)議 新思
上傳時間: 2015-11-08
上傳用戶:jeffery
源碼開放的加密軟件。最新版本!!可以在一個文件內(nèi)部創(chuàng)建多樣化的加密磁盤并且將其配置為一個可以通過一個驅(qū)動器盤符訪問的虛擬磁盤.任何存儲在該虛擬磁盤上的文件可以被自動地實時加密,并且只有當(dāng)使用正確的密碼或者密匙配置時才可以訪問. TrueCrypt 支持多樣化的加密算法,包括 AES-256, Blowfish (448-bit key), CAST5, Serpent, Triple DES 和 Twofish.其它的功能包括 FAT32 或者 NTFS 格式的支持,隱藏卷。
上傳時間: 2015-11-08
上傳用戶:dancnc
:提出安全協(xié)議本質(zhì)上是協(xié)議主體利用密碼學(xué)手段通過挑戰(zhàn)一響應(yīng)來對協(xié)議另一方的存在做出判斷,并同 時完成對一些數(shù)據(jù)例如會話密鑰等的協(xié)商。依據(jù)這種思想,結(jié)合認(rèn)證邏輯中的一些成果,提出了一種新的安全協(xié) 議關(guān)聯(lián)性的分析方法,該方法對協(xié)議認(rèn)證目標(biāo)進(jìn)行了基于線空間模型語義的定義,并將關(guān)聯(lián)性分析歸結(jié)為Strand 的存在關(guān)系和Strand參數(shù)一致性的分析問題。
標(biāo)簽: 協(xié)議 安全協(xié)議 密碼
上傳時間: 2015-11-09
上傳用戶:zhangjinzj
% 文件名:randlsbget.m % 程序員:余波 % 編寫時間:2007.6.25 % 函數(shù)功能: 本函數(shù)將完成提取隱秘于上的秘密信息 % 輸入格式舉例:result=( scover.jpg ,56, secret.txt ,2001) % 參數(shù)說明: % output是信息隱藏后的圖象 % len_total是秘密信息的長度 % goalfile是提取出的秘密信息文件 % key是隨機(jī)間隔函數(shù)的密鑰 % result是提取的信息 function result=randlsbget(output,len_total,goalfile,key) ste_cover=imread(output) ste_cover=double(ste_cover) % 判斷嵌入信息量是否過大 [m,n]=size(ste_cover) frr=fopen(goalfile, a ) % p作為信息嵌入位計數(shù)器將信息序列寫回文本文件 p=1 % 調(diào)用隨機(jī)間隔函數(shù)選取像素點 [row,col]=randinterval(ste_cover,len_toal,key) for i=:len_toal if bitand(ste_cover(row(i),col(i)),1)==1 fwrite(frr,1, bit1 ) result(p,1) else fwrite(frr,0, bit1 ) result(p,1)=0 end if p==len_total break end p=p+1 end fclose(frr)
標(biāo)簽: randlsbget result scover 2007
上傳時間: 2015-11-10
上傳用戶:yzhl1988
在原作者Jim Gillogly代碼的基礎(chǔ)上修改優(yōu)化,并實現(xiàn)C++改寫。實現(xiàn)了DES加密。當(dāng)然,密鑰可在源文件中修改,或提供修改的接口函數(shù)。
上傳時間: 2014-08-23
上傳用戶:cc1915
DES是一種分組密碼。假定明文m是由0和1組成的長度為64位的符號串,密鑰k也是64位的0、1符號串。
上傳時間: 2014-01-24
上傳用戶:change0329
在參考書目一這本書的附錄A,在單機(jī)中使用,但是最後在WIN95的光碟中找不到IENPSTUB.DLL及MSLOCUSR.DLL二個檔案,不知何故,可否告訴我如何解決這個問題? 我使用的是Win95的平臺,故須安裝PWS,但是卻無法安裝它,畫面出現(xiàn)是要求IE 4.01以上的版本,我使用的是IE5為何還是無法安裝呢?
標(biāo)簽:
上傳時間: 2015-11-13
上傳用戶:lijianyu172
PPP挑戰(zhàn)握手認(rèn)證協(xié)議(CHAP),PPP【1】提供了點到點鏈路傳輸多協(xié)議數(shù)據(jù)報的標(biāo)準(zhǔn)方法。 在PPP中也定義了一種可擴(kuò)展的LCP,允許協(xié)商認(rèn)證協(xié)議,從而可以在進(jìn)行網(wǎng)絡(luò)層 協(xié)議傳輸之前對對端進(jìn)行認(rèn)證。 本文定義了一種PPP認(rèn)證方法,該方法利用隨機(jī)“挑戰(zhàn)”和依據(jù)“挑戰(zhàn)”和密鑰 計算出的加密哈希“應(yīng)答”來完成認(rèn)證。
標(biāo)簽: CHAP PPP 認(rèn)證協(xié)議
上傳時間: 2014-01-06
上傳用戶:dave520l
用VC++編寫的鑰式加密解密算法,要求輸入明文和密鑰,結(jié)果輸出密文
上傳時間: 2015-11-14
上傳用戶:c12228
加密算法,通過一組數(shù)學(xué)公式,把原文轉(zhuǎn)換成密文
標(biāo)簽: 加密算法
上傳時間: 2014-01-09
上傳用戶:lijianyu172
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1