Validating Security Protocols under the General Attacker.

Wihem Arsac Giampaolo Bella Xavier Chantry Luca Compagna Validating Security Protocols under the General Attacker. 34-51 2009 ARSPA-WITS http://dx.doi.org/10.1007/978-3-642-03459-6_3 conf/ifip1-7/2009wits db/conf/ifip1-7/wits2009.html#ArsacBCC09