The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
the avispa tool for the automated validation of internet security protocols and applications .