Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus

Aybek Mukhamedov, Mark Dermot Ryan. Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus. In Gilles Barthe, Cédric Fournet, editors, Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers. Volume 4912 of Lecture Notes in Computer Science, pages 330-346, Springer, 2007. [doi]

Authors

Aybek Mukhamedov

This author has not been identified. Look up 'Aybek Mukhamedov' in Google

Mark Dermot Ryan

This author has not been identified. Look up 'Mark Dermot Ryan' in Google