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]
No references recorded for this publication.
No citations of this publication recorded.