Security Protocol Analysis (SPA)

Result Type

ICT Software Digital solution (TRL 1-2)

Lead Developer

National Technical University of Athens

EPU of the Decision Support Systems Laboratory School of Electrical and Computer Engineering, NTUA


Security Protocol Anlysis

We have developed a security protocol analysis mechanism to support cyber defence by permitting experimentation and testing of new security protocols.

Result Description

The SPA allows researchers to define and test security protocols. It provides an expressive formal language for specifying security protocols and their properties along with automatic analysis techniques.

Target Business Sectors / EU Policy Areas

  • Digital economy and society
  • Research and innovation