Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation.

Jonathan K. Millen Vitaly Shmatikov

Published in: CSFW (2003)

Keyphrases

diffie hellman
key exchange protocol
lightweight
data integration
group communication
key agreement protocol