DONG Xue-wen1, NIU Wen-sheng2, MA Jian-feng1, et al. Improvement of the anonymity formalization based on strand space model[J]. 2011, 32(6): 124-131.DOI：
基于串空间的匿名形式化分析扩展
摘要
为了使串空间满足匿名性分析的特殊需求
利用串空间丛消息解析等价技术
结合观察视角
分别定义2种发送者匿名性、接收者匿名性;基于不同的侧重点
定义出不同的关系匿名性
在此基础上扩展并完善了基于串空间的匿名性形式化框架。同时
定性分析多种匿名性之间的匿名程度差异
并以一个ad hoc网络下的基于区域的k匿名路由协议为例
验证形式化框架的正确性和高效性。
Abstract
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 for-malization framework based on strand space model was extended and completed.In addition
the difference among ano-nymity degrees of these anonymities were qualitatively researched and the anonymity of a zone-based k-anonymity rout-ing protocol was analyzed to verify the correctness and efficiency.
京公网安备11010802024621