Athena: a new efficient automatic checker for security protocol analysis
On the security of public key protocols