APA (7th ed.) Citation

Delgrande, J. P., Hunter, A., & Grote, T. (2010, August). On the representation and verification of cryptographic protocols in a theory of action. 2010 Eighth Annual International Conference on Privacy, Security and Trust, 39-45. https://doi.org/10.1109/PST.2010.5593236

Chicago Style (17th ed.) Citation

Delgrande, James P., Aaron Hunter, and Torsten Grote. "On the Representation and Verification of Cryptographic Protocols in a Theory of Action." 2010 Eighth Annual International Conference on Privacy, Security and Trust Aug. 2010: 39-45. https://doi.org/10.1109/PST.2010.5593236.

MLA (9th ed.) Citation

Delgrande, James P., et al. "On the Representation and Verification of Cryptographic Protocols in a Theory of Action." 2010 Eighth Annual International Conference on Privacy, Security and Trust, Aug. 2010, pp. 39-45, https://doi.org/10.1109/PST.2010.5593236.