Automated Security Protocol Analysis With the AVISPA Tool