Date and Time:Thursday, 13 March 2008, 15:30-ca. 16:30

Speaker:Simona Orzan (TU/e, FM & OAS)

Title: Measuring anonymity with mCRL.

Abstract:

We present a powerful and flexible method for automatically measuring anonymity in a possibilistic general purpose distributed verification toolset (mCRL). We propose new definitions of a choice anonymity degree and a player anonymity degree, to provide an accurate picture of the different ways and amounts in which anonymity can break down. These measures can be automatically calculated from a protocol specification in mCRL, by using a combination of dedicated and existing tools. We test the method on the Dining Cryptographers problem, multiple rounds of the Crowds protocol, and the FOO 92 voting protocol.
(joint work with Tom Chothia, Jun Pang and Mohammad Torabi Dashti)