Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus

Aybek Mukhamedov, Mark Ryan

Computer Science

Research output: Contribution to journal › Article

1 results

Filter

Verifying Anonymity and Privacy Properties of Security Protocols
Ryan, M.
Engineering & Physical Science Research Council
1/05/07 → 31/10/08
Project: Research Councils