Attack Modeling and Verification for Connected System Security

Saoussen Mili , Nga Nguyen (1, 2) , Rachid Chelouah (2, 3)

1 EISTI - Ecole Internationale des Sciences du Traitement de l'Information
2 ETIS - UMR 8051 - Equipes Traitement de l'Information et Systèmes
3 ETIS-ICI

Domaines: Informatique [cs]

Saoussen Mili, Nga Nguyen, Rachid Chelouah. Attack Modeling and Verification for Connected System Security. IEEE 13th Systems of Systems Engineering Conference, IEEE, pp.157-162, 2018, ⟨10.1109/SYSOSE.2018.8428695⟩. ⟨hal-04441500⟩