1. On the reachability problem in cryptographic protocols;Amadio,2000
2. OFMC: a symbolic model checker for security protocols;Basin;Int. J. Inf. Secur.,2005
3. An on-the-fly model-checker for security protocol analysis;Basin,2003
4. An efficient cryptographic protocol verifier based on prolog rules;Blanchet,2001