不同丛概念的比较与思考

文章将不同丛按其定义和构成方式分成两类:一类是在纤维丛上附加结构而成得到的丛,另一类是用丛之间的关系构造的丛,按这种观点对各种丛的概念进行比较并做较深入的探讨。

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

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