Protocol security verification using dynamic key structures

PI: Mikael Asplund (LiU); co-PI: Christian Gehrmann (LU)

Provably secure communication solutions will be needed for the continued trust in future digital services. In this PhD project we propose a new approach to taming the inherent computational complexity of protocol security analysis by providing the means and the tools to leverage model structures (e.g., dynamic key dependencies) in models of security mechanisms and to use these structures to automate security analysis. The project is composed of three main tasks (i) automated model structure analysis, (ii) developing a theory on dependency relations, and (iii) modular protocol specification and verification. We leverage previous and ongoing work in secure protocol analysis with two recently started industry-oriented research projects involving Sectra, Ericsson and Saab.

Project number: D1