Measuring anonymous system with probabilistic Applied Pi calculus
Xiaojuan Cai · Jisuanji yingyong yanjiu · 2009
This paper studied the anonymity in the model of probabilistic Applied Pi(PAPi).First,defined a metric on PAPi processes to measure the similarity between processes.This metric was then shown to be well-defined since it turns out to be 0 when two processes are weakly bisimilar.Upon metric,gave the formal definition of anonymity degree.Finally,as an illustrating example,analyzed the anonymity of probabilistic dining cryptographer problem(DCP) in framework.