Results 51 to 54 of about 837 (54)

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

Lecture Notes in Computer Science, 2005
exaly  

Design and formal analysis of electronic voting protocol using AVISPA

2017
exaly  

A comparative study of security protocols validation tools: HERMES vs. AVISPA

2006
exaly  

Analysis of Nai-Wei and Alexander Authentication Protocol Using AVISPA

exaly