资源描述：
《基于概率Applied Pi的匿名度分析》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、上海交通大学硕士学位论文基于概率AppliedPi的匿名度分析姓名：谢思敏申请学位级别：硕士专业：@指导教师：傅育熙20090201上海交通大学工学硕士学位论文摘要第II页匿名度。最后文章分析了经典的密码学家就餐问题，用概率appliedpi对其建模，计算匿名度并对实验结果进行对比和分析，验证了本文的基本思想。关键词：概率进程演算,匿名度,互模拟,匿名协议,密码学家就餐问题上海交通大学工学硕士学位论文ABSTRACT第III页MeasuringAnonymousSystemwithProbabilisticAppliedPiCalculusABSTRACTAsthedevelop
2、mentandwildlyuseofelectronicbusiness,peoplebegantopayattentiontothepersonalinformationandprivacyinvolvedinallkindsofinternetactivities.However,nowadaysnearlyalltransactions,informationexchange,andclient'sactionsandsoon,canbeobservedandrecordedinnetwork.Inthisway,it'sverypossiblethattheprivate
3、databelongingtoclientwillbenotproperlyusedandanalyzed,leadingtoallkindsofinformationleak.Atpresent,therearemanyformalizedwaystostudyanonymity,wecandividethemintotwoclasses:Processcalculuscombinedwithbisimulation,LogicandModelchecking.Basedontheseways,manyresearchershaveshownresultsforstudying
4、theanonymityofsomeanonymouscommunicationsystems.However，increasingpeoplerealizethatsomethingalwayshappenedwithprobabilityintherealnetwork.Soweneglectedthisprobabilitytoanalyzeanonymitywhilemodelingnetworkwithtraditionalformalways.Obviouslyitcannotsatisfythepracticalneeds,thensomeresearcherspr
5、oposedsomeprobabilisticanonymouscommunicationsystems.Theytakeprobabilityintherealisticnetworkintoconsideration,andintroduceprobabilityactivityintoanonymouscommunicationsystems.Thisismoreclosetotherealnetwork.Asprobabilisticanonymoussystemsareproposedintheliterature,itcannotsaywhetherasystemis
6、anonymousabsolutely.Toanalyzesuchkindofanonymoussystems,traditionalprocesscalculuscannotwork.First,thecalculusisnotexpressiveenoughtomodelthesystemwithprobabilities,soweshoulduseprobabilisticprocesscalculi.Second,togetadegreeofanonymity,bisimulationisnotenoughbecauseitonlycomparestwoprocesses
7、andgiveananswer“yes”or“no”totelliftheyoperatesimilarly,soweneedanotherrelationwhichismorerefinedthanbisimilarity.wechosetheprobabilisticappliedpicalculus(PAPiforshort),whichextendsthe上海交通大学工学硕士学位论文ABSTRACT第IV页appliedpicalculuswithintroducingn
