BAN类逻辑的研究

《BAN类逻辑的研究》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、山东大学硕士学位论文BAN类逻辑的研究姓名：王倩申请学位级别：硕士专业：系统分析与集成指导教师：李大兴20070426山东大学硕上学位论文ABSTRACTAlongwiththerapiddevelopmentoff—cAMnmctv冶intheg1oba1,e^commcroosecurjHyprob1emsal[§am,actingincreasingattention・Secureprotocolsa门thebasetoensurethesecurityofe—ooljBerooactivitie$.FormaIAnaIysisofSCCUreprotocoIis4p0wcrfu1t

2、0o1f0rtcst•1ngthcsecur•1ty・Meanwhi1e,withthedeVe1opmentofe•H30mme1fCg•10ts0fnawcrypt01PaPhica1g0rithrasandsignaturescheme眦prop0sed9wh•1chcausc11w口cattcnt•10nt0眦i1•1nu•1•1re()fsecurIy■Sccurcprotocoluscdmainlysymmctriccryptography,pub1ic•keycryptography,Symmetricccryption,bmmsmissioryptognmhuti协nisI

3、I砖keyissuitab1ess1壕；pub1fornlargenumberofdataenic—keyencryptionsystsignaturesandhashfh1【Ic6oo・Th(JSf?app1y1todif1Pertjn1Lu¥eoI'crypIography.formalanas.BAN1ogilogic,AT1icandSVOlogicistcBAN-1iemasslowly,USf?dforauthenticationork(jydistribmion；hash1Punct:ionisUSf?dintestingthe•1ntegrity0fthemessagest

4、estingorig■1n0€jrtificati0nofmessages；thes■1gnatureisuscdtoauthcnticatcParticiPautsinthce啪mmcf00.Forma1ana1ys•1s0ftw0m0de1s•asymb01smeth0dsm0de1andnca1cu1at■10nmcthodsmodc1.One0f吐他symbo1smcthodsmode19the1ogicmethodis姗effectiveysismcthodwhichmain1yinc1kc1ogicudesBAN-1ike1ogic.ThelogicsarcbaiscdonBA

5、Nlogic・Amongthem・lispape11chaTns・1htplokrown•1amehtfs•1o00nsiwiopapac・1r1•nt峙natuutrehesn0ff1舱髓讎pr0toco1ageconfide•nt•a1•ty，•ntegy，at•cat•onandnon■—rePud•1at■1onandS0o札InthispaperwpproposethaIBAN-——11ke10g1cshaVetW00bvi0usf1aws•■the1ackoftheenvironmentm0de1andthe1ackoftheana1ys•1s0fthc•1ntcgr•1ty•

6、InthcBAN—1ike10g•1cs,thcpart•1c•1pati0nofPr0t0c01•1sassumedt0behoncst,t'h■1sc0u1

7、•1ke10g•1cS・tIIcyassumethecryPtograPh•1ca1gor•1thmusedisPerfect■Researchersgenera11ybe1ieveunderthesecond•t•onsnIcintegrityandc0nfidentia1•ty0ftheProt0c01hasbeenguaranteed；h0wcVer,duet0thed•fferentnatufa0fVar•0us