Promoting a faster and more secure Internet
The AVISPA project focused on advanced techniques and tools for the analysis of security-sensitive protocols used to support the next generation of distributed Internet applications. One of the primary objectives was the design of a high level language to specify Internet security protocols. Based on formal semantics, it allows easy translation from highly technical protocol descriptions to a more declarative format that could support formal analysis. The designed high-level protocol specification language (HLPSL) supports the description of Internet protocol suites, security goals and assumptions about the environment. It features increased modularity allowing for the specification of complex control-flow patterns, data-structures, and different intruder models. The combination of a formal language with temporal logic semantics offers increased capabilities for multi-purpose usage with suitable expressiveness. Addressing the needs of both engineers and protocol designers of standardisation bodies, the HLPSL has been proven effective for modeling security protocols. Its user-friendliness offers increased flexibility to the user to construct reliable models and to explore different assumptions about the protocol's execution environment. For further information click at: http://www.avispa-project.org(opens in new window)