TY  - RPRT
TI  - Security Properties through the Lens of Modal Logic
AU  - Matvey Soloviev
AU  - Musard Balliu
AU  - Roberto Guanciale
PY  - 2023
UR  - https://arxiv.org/abs/2309.09542
ID  - 2309.09542
ER  -