AVISPA stands for Automated Validation of Internet Security Protocols and Applications.
The AVISPA project aims at developing a push-button, industrial-strength technology for the analysis of large-scale Internet security-sensitive protocols and applications.
This website contains all relevant information about AVISPA for project members, interested third parties and scientists worldwide.
The AVANTSSAR project: a follow-up to the AVISPA project
AVANTSSAR proposes a rigorous technology for the formal specification and Automated VAlidatioN of Trust and Security of Service-oriented ARchitectures. This technology will be automated into an integrated toolset, the AVANTSSAR Validation Platform, tuned on relevant industrial case studies.
SPAN, the Security Protocol ANimator for AVISPA, has been released!
SPAN is designed to help protocol developers in writing HLPSL specifications. From an HLPSL specification SPAN helps in interactively buiding Message Sequence Charts (MSC) of the protocol execution. Since SPAN implements an active intruder, it can also be used to interactively find and build attacks over protocols
|Artificial Intelligence Laboratory, DIST, University of Genova, Italy|
|Eidgenoessische Technische Hochschule Zuerich (ETHZ), Information Security Group, Department of Computer Science, Zuerich, Switzerland.|
|CASSIS, joint INRIA team from LORIA Nancy and LIFC Besancon, France.|
|Siemens Aktiengesellschaft, Munich, Germany|
The AVISPA Project is funded by the European Union in the Future and Emerging
Technologies (FET Open) programme in the context of the
Information Society Technologies (IST) priority. Project Number:
|Please use the left frame to navigate the website and to contact us.|