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

Improvement of the anonymity formalization based on strand space model

作　　者：董学文[1] 牛文生[2] 马建峰[1] 谢晖[1] 毛立强[1] 

机构地区：[1]西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071 [2]中国航空计算技术研究所,陕西西安710068

出　　处：《通信学报》2011年第6期124-131,共8页Journal on Communications

基　　金：国家科技部重大专项(2011zx03005-002);国家自然科学基金资助项目(61072066;60872041);中央高校基本科研业务费专项资金资助(JY10000903006;JY10000903012;JY10000903001;JY10000901034)~~

摘　　要：为了使串空间满足匿名性分析的特殊需求,利用串空间丛消息解析等价技术,结合观察视角,分别定义2种发送者匿名性、接收者匿名性;基于不同的侧重点,定义出不同的关系匿名性,在此基础上扩展并完善了基于串空间的匿名性形式化框架。同时,定性分析多种匿名性之间的匿名程度差异,并以一个ad hoc网络下的基于区域的k匿名路由协议为例,验证形式化框架的正确性和高效性。In order to make the strand space model satisfy the special needs of anonymity analysis, based on equivalent bundles and view of observer, two kinds of sender anonymities as well as recipient anonymities were defined; relation anonymity were defined in two ways： emphasis on sender anonymity or recipient anonymity. Thus, an anonymity formalization framework based on strand space mode/was extended and completed. In addition, the difference among anonymity degrees of these anonymities were qualitatively researched and the anonymity of a zone-based k-anonymity routing protocol was analyzed to verify the correctness and efficiency.

关 键 词：串空间 匿名协议 等价丛 匿名程度 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]