The AVISPA Library


The AVISPA Library is a collection of specifications of security protocols and problems written in the HLPSL by the AVISPA Team and automatically analysed with the AVISPA Tool. This set of protocols is a large subset of those described in Deliverable 6.1: List of selected problems. For each protocol, we describe its purpose, the message exchange in the Alice&Bob-style notation, the expected security properties and their classifiation, the attacks found (if any), and the actual HLPSL specification. Where appropriate, we give further explanations and comments.

IETF Protocols

e-Business Protocols

non-IETF Protocols


AVISPA is a Shared Cost RTD (FET open) project funded by the Information Society Technologies programme of the European Commission, as IST-2001-39252.