Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation.

Jonathan K. Millen Vitaly Shmatikov

Published in: J. Comput. Secur. (2005)

Keyphrases

diffie hellman
elliptic curve
key exchange protocol
intrusion detection
end to end
data sharing
group communication
key agreement protocol