The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications