Anonymity protocol with identity escrow, and analysis in the applied pi calculus

[MukhamedovRyan2007Escrow] Aybek Mukhamedov and Mark Ryan. Anonymity protocol with identity escrow, and analysis in the applied pi calculus. In G. Barthe and C. Fournet (editors) Trustworthy Global Computing, Springer. 2007.
Links: [Google] [Google Scholar] [CiteSeer]