James P. Delgrande, Aaron Hunter, Torsten Grote. On the representation and verification of cryptographic protocols in a theory of action. In Eighth Annual Conference on Privacy, Security and Trust, PST 2010, August 17-19, 2010, Ottawa, Ontario, Canada. pages 39-45, IEEE, 2010. [doi]