The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications Publication Type: Book Chapter Authors: Alessandro Armando; D.A. Basin; Y. Boichut Source: International Conference on Computer Aided Verification CAV 2005, Springer, Heidelberg (2005)