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

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