A. Armando, The AVISPA Project: Automated Validation of Internet
Security Protocols and Applications, Invited talk at the
Security Area Advisory Group (SAAG), the 62nd IETF Meeting,
Minneapolis, March 05, 2005.
S. Mödersheim, L. Viganò, D. von Oheimb, Tutorial:
Automated Validation of Security Protocols (AVASP'05), in the
context of the 8th European Joint Conference on Theory and Practice
of Software (ETAPS 2005), April 3, 2005.
Tutorial web site.
D. von Oheimb: The High-Level Protocol Specification Language
HLPSL developed in the EU project AVISPA, talk given at the APPSEM 2005 Workshop , September 13, 2005.
PDF slides and abstract.
L. Viganò, A Model-Che