匿名协议WonGoo的概率模型验证分析

• 作者: 孙毓忠 方滨兴 郭丽 陆天波
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 匿名 点对点 WonGoo 概率模型验证
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 计算机网络技术与信息安全
• 页码范围: 646-650
• 页数: 5页
• 分类号: TP393
• 字数: 5773字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2006.04.016

摘要

Internet隐私的一个主要问题是缺乏匿名保护.近年来,人们已经针对这一问题做了很多工作.然而,如何利用已有的形式化方法分析匿名技术却是一个极具挑战的问题.对P2P匿名通信协议WonGoo进行了形式化分析.利用离散时间Markov链模型化节点和攻击者的行为.系统的匿名性质采用时序逻辑PCTL进行描述.利用概率模型验证器PRISM对WonGoo系统的匿名性进行了自动验证.结果表明WonGoo的匿名性随着系统规模的增加而增加;但却随着攻击者观察到的源自同一个发送者的路径的增加而降低.另外,匿名路径越长,系统的匿名性越强.