Model-based privacy and security analysis with CARiSMA
- Amir Shayan Ahmadian
- , Sven Matthias Peldszus
- , Qusai Ramadan
- , Jan Jürjens
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review