research data . Dataset . 2005

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

Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Drielsma, P. Hankes; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; ...
  • Published: 01 Jan 2005
  • Publisher: Springer Berlin Heidelberg