Automatic Verification of Privacy Properties in the Applied Pi Calculus

[DelauneRyanSmyth2008VeriPriv] Stéphanie Delaune, Mark Ryan and Ben Smyth. Automatic Verification of Privacy Properties in the Applied Pi Calculus. In Proceedings of the 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM'08), pages 263-278, Springer. 2008.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://www.bensmyth.com/publications/08ifiptm/