Automatic verification of privacy properties in the applied picalculus,” in (2008)

by S Delaune, M Ryan, B Smyth
Venue:Proc. 2nd Joint iTrust and PST Conferences on Privacy, Trust Management and Security, ser. IFIP Conference Proceedings,