Patraand Zhang. An Algebraic Characterization of Security of Cryptographic Protocols. 22 Feb. 2008.