The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
University of Genoa · ETH Zurich · +4 more institutions
Indexed incrossref
Abstract
No abstract available for this paper.
Citation impact
1,320
total citations
- FWCI
- 37.12
- Percentile
- 100%
- References
- 15
Citations per year
Authors
17- AAAlessandro ArmandoCorresponding
University of Genoa
- DBDavid Basin
ETH Zurich
- YBYohan Boichut
Université de franche-comté
- YCYannick Chevalier
Laboratoire Lorrain de Recherche en Informatique et ses Applications, Institut national de recherche en informatique et en automatique
- LCLuca Compagna
University of Genoa
Topics & keywords
Topics
Keywords
- Computer science
- Modular design
- Internet security
- Robustness (evolution)
- Scalability
- The Internet
- Scope (computer science)
- Computer security
No related works found for this paper.