Diffie-Hellman cryptographic reasoning in the Maude-NRL protocol analyzer (2007)

by Santiago Escobar, Joe Hendrix, Catherine Meadows, José Meseguer
Venue:In Proc. of SecRet