A survey of algebraic properties used in cryptographic protocols.

Véronique Cortier Stéphanie Delaune Pascal Lafourcade A survey of algebraic properties used in cryptographic protocols. 1-43 2006 14 Journal of Computer Security 1 http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-227X&volume=14&issue=1&spage=1 db/journals/jcs/jcs14.html#CortierDL06