TY  - RPRT
TI  - From What to How: A Taxonomy of Formalized Security Properties
AU  - Imen Sayar
AU  - Nan Messe
AU  - Sophie Ebersold
AU  - Jean-Michel Bruel
PY  - 2025
UR  - https://arxiv.org/abs/2505.14514
ID  - 2505.14514
ER  -