【摘 要】
：
Internet隐私的一个主要问题是缺乏匿名保护．近年来，人们已经针对这一问题做了很多工作．然而．如何利用已有的形式化方法分析匿名技术却是一个极具挑战的问题．对P2P匿名通信协议Won
【机 构】
：
中国科学院计算技术研究所软件研究宣,中国科学院研究生院
论文部分内容阅读
Internet隐私的一个主要问题是缺乏匿名保护．近年来，人们已经针对这一问题做了很多工作．然而．如何利用已有的形式化方法分析匿名技术却是一个极具挑战的问题．对P2P匿名通信协议WonGoo进行了形式化分析．利用离散时问Markov链模型化节点和攻击者的行为．系统的匿名性质采用时序逻辑PCTI，进行描述．利用概率模型验证器PRISM对WonGoo系统的匿名性进行了自动验证．结果表明WonGoo的匿名性随着系统规模的增加而增加；但却随着攻击者观察到的源自同一个发送者的路径的增加而降低．另外，匿名路径越长，系
其他文献
数学来源于生活,中学数学越来越接近生活。数学生活化、情境化、趣味化,让学生在生活中感悟数学、运用数学,使数学课富有生活气息,让学生体会数学与生活同在的乐趣。教师要将
本文就骆冬青《重估阿Q》所得出的“阿Q精神”的价值重估命题，从三个层面阐述了这样一个观点：阿Q精神具有最大的典型性和普适性，就人类存在的荒诞性来说，我们都是阿Q；阿Q的个体精
目前煤炭企业面临的重大课题就是如何吸引、用好人才，如何开创人才辈出的新局面。文章从人才资源管理的方面入手，浅析人才资源管理对于煤炭企业的重要性。
正今年以来,全球性的农产品价格上涨促进了各国政府对农业支持力度的加大,直接拉动了农药市场的需求。在国内,农药供应继续增加,价格提高,农药市场比较稳定景气,变化较为明显
用正交试验方法筛选芍药苷提取的最佳方案,采用HPLC法测定芍药苷含量。色谱条件：以Hypersil ODS C18为色谱柱;甲醇：水（3：8）为流动相,检测波长为230nm,芍药苷在0.206～1.03mg/ml范围
马棒状杆菌又名马红球菌,是人类条件致病菌。该菌是马、猪、牛等动物致病菌,近年来,有关马棒状杆菌引起感染的报道增多,大多数为小儿败血症以及免疫功能缺陷人群易感[1],但其
<正>北京读者曾某来信说:姑妈前些天被查出患有甲状腺癌,刚做完切除手术,大夫建议术后服用优甲乐。每天应该吃多大的剂量呢?怎样吃效果才最好?答曾某读者:临床上,甲状腺癌是
有几个原因 ,使得今人把威廉·冯·洪堡特视为人类语言学的先行者 :他的研究综合起哲学、历史、社会、文化、民族、语言等多种视角 ;他通过亲验实证获得巴斯克民族语言的一手
广西特色农产品品种多,产量大,有着极高的经济价值,但是目前,广西的特色农产品的知名度还不高,推广还存在诸多问题,主要原因是营销工作没有做好,因此如何做好广西特色农产品
近年来，江苏省城市防洪工程进入了一个全新的发展阶段，为保证城市防洪工程更快、更好的投入正常运行，须对泵站、水闸运行管理人员进行上岗前理论、技能强化培训，建立一支高素质、