Saoussen Mili

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Model Driven Architecture

Security Analysis

Attack Scenarios

Top Venues

Publications

Saoussen Mili, Nga Nguyen, Rachid Chelouah
Model-driven architecture based security analysis. Syst. Eng. 24 (5) (2021)
Saoussen Mili, Nga Nguyen, Rachid Chelouah
Transformation-Based Approach to Security Verification for Cyber-Physical Systems. IEEE Syst. J. 13 (4) (2019)
Saoussen Mili, Nga Nguyen, Rachid Chelouah
Attack Modeling and Verification for Connected System Security. SoSE (2018)