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
Keywords
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
July 1, 2021