Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties. - Pascal Lafourcade 001; Vanessa Terrade; Sylvain Vigier (Formal Aspects in Security and Trust, 2009)