密碼協(xié)議的可組合安全.pdf

1、西安電子科技大學(xué)博士學(xué)位論文密碼協(xié)議的可組合安全姓名：張俊偉申請學(xué)位級別：博士專業(yè)：計算機(jī)系統(tǒng)結(jié)構(gòu)指導(dǎo)教師：馬建峰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