APA   Click to copy
Liang, Z., & Verma, R. M. (2009). Correcting and Improving the {NP} Proof for Cryptographic Protocol Insecurity. In A. Prakash & I. Gupta (Eds.), Information Systems Security, 5th International Conference, {ICISS} 2009, Kolkata, India, December 14-18, 2009, Proceedings (Vol. 5905, pp. 101–116). Springer.

Chicago/Turabian   Click to copy
Liang, Zhiyao, and Rakesh M. Verma. “Correcting and Improving the {NP} Proof for Cryptographic Protocol Insecurity.” In Information Systems Security, 5th International Conference, {ICISS} 2009, Kolkata, India, December 14-18, 2009, Proceedings, edited by Atul Prakash and Indranil Gupta, 5905:101–116. Lecture Notes in Computer Science. Springer, 2009.

MLA   Click to copy
Liang, Zhiyao, and Rakesh M. Verma. “Correcting and Improving the {NP} Proof for Cryptographic Protocol Insecurity.” Information Systems Security, 5th International Conference, {ICISS} 2009, Kolkata, India, December 14-18, 2009, Proceedings, edited by Atul Prakash and Indranil Gupta, vol. 5905, Springer, 2009, pp. 101–16.

@inproceedings{liang2009a,
  title = {Correcting and Improving the {NP} Proof for Cryptographic Protocol Insecurity},
  year = {2009},
  pages = {101--116},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5905},
  author = {Liang, Zhiyao and Verma, Rakesh M.},
  editor = {Prakash, Atul and Gupta, Indranil},
  booktitle = {Information Systems Security, 5th International Conference, {ICISS} 2009, Kolkata, India, December 14-18, 2009, Proceedings}
}