Abstrakt. AVISPA är ett tryckknappsverktyg för automatisk validering av säkerhetskänsliga protokoll och program på Internet. Det ger ett modulärt och uttrycksfullt formellt språk för att specificera protokoll och deras säkerhetsegenskaper, och integrerar olika back-ends som implementerar en mängd toppmoderna automatiska analystekniker. Såvitt vi vet har inget annat verktyg samma omfattning och robusthet samtidigt som det har samma prestanda och skalbarhet.
AVISPA/AVANTSSAR-plattformen REF är ett verktyg för automatisk validering av säkerhetsprotokoll och -applikationer.
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications ⋆
{'venue': 'CAV', 'journal': None, 'mag_field_of_study': ['Computer Science']}