Modeling Diffie-Hellman Derivability for Automated Analysis.

Moses D. Liskov F. Javier Thayer

Published in: CSF (2014)

Keyphrases

automated analysis
diffie hellman
visual analysis
secure communication
key exchange protocol
encryption scheme
security properties
key agreement protocol
multimedia
video analysis
secret key
standard model
group communication
key exchange