Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS
Content archived on 2024-05-24
Automated Validation of Internet Security Protocols and Applications

Article Category

Article available in the following languages:

Promoting a faster and more secure Internet

A new, rich specification language for protocols' formalisation, security goals, and complicated industrial threat models is expected to improve the reliability and efficiency of networks.

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)

Discover other articles in the same domain of application