匿名通信协议MACP概率模型检验

• 作者: 张连成 徐静 王振兴
• 来源期刊: 计算机应用研究
• 关键词: 匿名通信 P2P MACP 概率模型检验
• 年，卷（期）: 2012,（11）
• 所属期刊栏目: 信息安全技术
• 页码范围: 4315-4319
• 页数: 5页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.11.081

摘要

匿名通信技术是保护互联网用户隐私的最有力手段之一,但匿名通信协议的形式化验证仍是亟待解决的难题.对P2P匿名通信协议MACP进行了形式化验证与分析,将MACP协议的匿名路径建立过程模型化为一个离散时间马尔可夫链；然后利用概率计算树逻辑PCTL描述MACP协议的匿名性质,并采用概率模型检验器对MACP协议的匿名性进行检验.检验结果表明,通过增加匿名通道数,提高了MACP协议的匿名等级和抗攻击能力；MACP协议的匿名性随着规模的增大而增强,并没有因控制匿名路径的长度而降低.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张连成	解放军信息工程大学信息工程学院	19	91	7.0	8.0
2	王振兴	解放军信息工程大学信息工程学院	39	153	8.0	9.0
3	徐静	解放军信息工程大学信息工程学院	7	18	2.0	4.0