基于串空间的匿名形式化分析扩展

• 作者: 毛立强 牛文生 董学文 谢晖 马建峰
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 串空间 匿名协议 等价丛 匿名程度
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 技术报告
• 页码范围: 124-131
• 分类号: TP393
• 字数: 7611字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436X.2011.06.017

摘要

为了使串空间满足匿名性分析的特殊需求,利用串空间丛消息解析等价技术,结合观察视角,分别定义2种发送者匿名性、接收者匿名性;基于不同的侧重点,定义出不同的关系匿名性,在此基础上扩展并完善了基于串空间的匿名性形式化框架.同时,定性分析多种匿名性之间的匿名程度差异,并以一个ad hoc网络下的基于区域的k匿名路由协议为例,验证形式化框架的正确性和高效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学计算机网络与信息安全教育部重点实验室	389	4956	30.0	50.0
2	牛文生		22	162	7.0	12.0
3	毛立强	西安电子科技大学计算机网络与信息安全教育部重点实验室	45	66	5.0	8.0
4	董学文	西安电子科技大学计算机网络与信息安全教育部重点实验室	7	50	3.0	7.0
5	谢晖	西安电子科技大学计算机网络与信息安全教育部重点实验室	12	38	4.0	6.0