Aybek Mukhamedov
CSRG seminar on 12th November 2007 at 16:00
Room 245, School of Computer Science

Title: Anonymity Protocol with Identity Escrow and Analysis in the Applied pi-calculus

Abstract: Anonymity with identity escrow attempts to allow users of a service to remain anonymous, while providing the possibility that the service owner can break the anonymity if the service is misused. We introduce a new protocol in which the user's identity is distributed among several token providers. Anonymity is assured provided at least one of the token providers is honest (and the misuse has not occurred). We analyse the protocol in the applied pi-calculus.

Joint work with Mark Ryan.