Symbolic protocol analysis with products and Diffie-Hellman exponentiation (2003)

by Jonathan Millen , Vitaly Shmatikov
Citations:36 - 0 self