| Original language | English |
|---|---|
| Pages | 62-73 |
| DOIs | |
| Publication status | Published - 2024 |
Kant: A Domain-Specific Language for Modeling Security Protocols
M. Lilli, C. Braghin, E. Riccobene K. Notari, Marian Baba
Research output: Contribution to conference types › Paper › peer-review
2
Citations
(Scopus)