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

摘要：

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

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

所属期刊栏目：32

分类号：TP393(计算技术、计算机技术)

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

在线出版日期：2011-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：124-131