Anonymity Protocol with Identity Escrow, and Analysis in the Applied Pi-Calculus (2007)

First Author: Aybek Mukhamedov
Attributed to:  Verifying anonymity and privacy properties of security protocols funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract