Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications | Researchclopedia
Back to research
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
2005
1,314 citations
Book Chapter
Field-Weighted Citation Impact:
37.24
·
ETH Zurich
Pierre‐Cyrille Héam
·
Université de franche-comté
Olga Kouchnarenko
·
Université de franche-comté
Jacopo Mantovani
·
University of Genoa
Sebastian Mödersheim
·
ETH Zurich
David von Oheimb
·
Siemens (Germany)
M. Rusinowitch
·
Institut national de recherche en informatique et en automatique
Judson Santos Santiago
·
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Mathieu Turuani
·
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Luca Viganò
·
ETH Zurich
Laurent Vigneron
·
Institut national de recherche en informatique et en automatique