版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、西安電子科技大學博士學位論文密碼協(xié)議的可組合安全姓名:張俊偉申請學位級別:博士專業(yè):計算機系統(tǒng)結構指導教師:馬建峰20100401AbstractInrecentyears,wehavewitnessedagraduallyincreasingadoptionofcryptographicprotocolstosecurevariousapplicationsincommunications,computernet—worksandco
2、mputersecurityHowever,designingandverifyingthesecurityofacomplexcryptographicprotocoloftenprovestobedi伍cultHenceitisalwaysdesirabletobeabletousesecureandsimpleprotocolascomponentstocomposeasecure,butlargerandmorecomplica
3、tedprotoc01Ontheotherhand,ubiquitouscomputingenvironmentoftenresultsinmultipleconcurrentexecutionsofcryptographicprotocolsSuchconditionrequiresaprotocoltobesecureandtonotcompromisetheoverallsecuritywhenitisrunconcurrentl
4、ywithotherprotocolsTherefore,developmentoftechniquestoensuresecurecompositionofprotocolsbecomesinevitableAmongallexistingformalmethodsforcryptographicprotocolanalysis,theUniversallyComposable(UC)frameworkbasedoncomputati
5、onalcomplexityandtheDDMPframeworkbasedonsymbolicanalysis(consistsoftheProtocolDerivationSystemandtheProtocolCompositionLogic),aretwostateoftheartproposalsforsecurityanalysisoncryptographicprotocolscompositionInthisdisser
6、tation,weselectthesecurecompositionofcryptographicprotocolsasastartingpoimandcarryoutresearchesonthetheoriesandkeytechnologiesintheUCandtheDDMPframeworksThemainresultsareasfollows:(1)Theprovablesecuremodelofidentitybased
7、keyexchangeisproposedintheUCframeworkTheidealfunctionalitiesofID—basedkeyexchangeareproposedwithemphasisonID—basedkeyexchangewithKeyGenerationCenterForwardSecrecy(KGCFS)Inaddition,thefactthatOUrIDbasedKEwithKGCFSfunction
8、alityCanbesecurelyrealizedbytheprotocol(withkeyconfirmation)proposedbyChenandKudlaisproven(2)Theprovablesecurityofbroadcastauthenticationusingolle—timesignatureisinvestigatedintheUCframeworkFirstlyabroadcastauthenticatio
9、nmodeliSformulatedSecondlyaUCsecurebroadcastauthenticationschemeisproposedinthehybridmodelThirdlyone—timesignatureprotocolHORSisproposedLastlyprotocolOWCisconstructedtealizethemultivalueregistrationfunctionalityOurbroadc
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 安全協(xié)議的可組合性分析與證明.pdf
- 量子保密通信協(xié)議通用可組合安全性研究.pdf
- 可重用可組合的轉錄邏輯門設計.pdf
- 可組合集成化公平數據交換協(xié)議研究.pdf
- 基于Petri網的信息流安全屬性的驗證與可組合性研究.pdf
- 通用可組合數字簽名模型及其關鍵問題研究.pdf
- 網絡化防空反導體系可組合建??蚣苎芯?pdf
- 可組合板式反應器的仿真分析及其控制系統(tǒng)設計研究.pdf
- 碰撞條件下可組合式等離子體源的實驗研究.pdf
- 密碼協(xié)議設計與安全研究
- 基于橢圓曲線密碼的RFID安全協(xié)議.pdf
- 密碼協(xié)議工程與基于新鮮性的協(xié)議安全研究.pdf
- 基于組合公鑰密碼體制的云安全研究.pdf
- 基于計算模型生成密碼學安全的安全協(xié)議代碼.pdf
- 密碼協(xié)議的安全性分析技術研究.pdf
- 基于對稱密碼體制的移動支付安全協(xié)議研究.pdf
- 基于公鑰密碼體制的移動支付安全協(xié)議研究.pdf
- 密碼組合問題
- 密碼協(xié)議的代數模型和安全分析算法研究.pdf
- 通用可組態(tài)串行協(xié)議解析器的設計與實現.pdf
評論
0/150
提交評論