A Framework for Automatically Checking Anonymity with μ CRL ( preprint version )


We present a powerful and flexible method for automatically checking anonymity in a possibilistic general-purpose process algebraic verification toolset. We propose new definitions of a choice anonymity degree and a player anonymity degree, to quantify the precision with which an intruder is able to single out the true originator of a given event or to… (More)

2 Figures and Tables


  • Presentations referencing similar topics