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