A framework for compositional verification of security protocols
- Suzana Andova
- , Cas Cremers
- , Kristian Gjøsteen
- , Sjouke Mauw
- , Stig F. Mjølsnes
- , Saša Radomirović*
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
47
Link opens in a new tab
Citations
(Scopus)