Symbolic protocol analysis with an abelian group operator or DiffieHellman exponentiation (2005)

by Jonathan Millen , Vitaly Shmatikov
Venue:Journal of Computer Security
Citations:14 - 1 self