Symbolic Bisimulation for the Applied Pi-Calculus (2007)
Attributed to:
Verifying anonymity and privacy properties of security protocols
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract