APA   Click to copy
Liang, Z., & Verma, R. M. (2008). Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols. In Proceedings of the The Third International Conference on Availability, Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain (pp. 1067–1074). {IEEE} Computer Society.

Chicago/Turabian   Click to copy
Liang, Zhiyao, and Rakesh M. Verma. “Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols.” In Proceedings of the The Third International Conference on Availability, Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, 1067–1074. {IEEE} Computer Society, 2008.

MLA   Click to copy
Liang, Zhiyao, and Rakesh M. Verma. “Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols.” Proceedings of the The Third International Conference on Availability, Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, {IEEE} Computer Society, 2008, pp. 1067–74.

@inproceedings{liang2008a,
  title = {Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols},
  year = {2008},
  pages = {1067--1074},
  publisher = {{IEEE} Computer Society},
  author = {Liang, Zhiyao and Verma, Rakesh M.},
  booktitle = {Proceedings of the The Third International Conference on Availability, Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain}
}