Automatic Verification of Privacy Properties in the Applied pi Calculus

SP Delaune, Mark Ryan, Benjamin Smyth, YC Karabulut, J Mitchell, P Herrmann, CD Jensen

Research output: Contribution to conference (unpublished)Paper

41 Citations (Scopus)


ConferenceTrust Management II: Proceedings of 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2008) June 18-20, 2008, Trondheim, Norway, IFIP The International Federation for Information Processing
CityBoston, MA
Period18/05/08 → …

Cite this