Security Protocol Analysis (SPA)
ICT Software Digital solution (TRL 1-2)
Security Protocol Anlysis
We have developed a security protocol analysis mechanism to support cyber defence by permitting experimentation and testing of new security protocols.
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