Jonathan K. Millen, Vitaly Shmatikov. Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation. Journal of Computer Security, 13(4):695, 2005. [doi]
@article{MillenS05a,
title = {Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation},
author = {Jonathan K. Millen and Vitaly Shmatikov},
year = {2005},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-227X&volume=13&issue=4&spage=695},
tags = {protocol, analysis},
researchr = {https://researchr.org/publication/MillenS05a},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {13},
number = {4},
pages = {695},
}