The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
Alessandro ArmandoDavid A. BasinYohan BoichutYannick ChevalierLuca CompagnaJorge CuéllarPaul Hankes DrielsmaPierre-Cyrille HéamOlga KouchnarenkoJacopo MantovaniSebastian MödersheimDavid von OheimbMichaël RusinowitchJudson SantiagoMathieu TuruaniLuca ViganòLaurent VigneronPublished in: CAV (2005)