A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks
the avispa tool for the automated validation of internet security protocols and applications .