AVISPA

AcronymDefinition
AVISPAAutomated Validation of Internet Security Protocols and Applications