A framework for compositional verification of security protocols

Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig F. Mjølsnes, Saša Radomirović

Research output: Contribution to journalArticlepeer-review

40 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A framework for compositional verification of security protocols'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science