×
2019
Formal Verification of Security Pattern Composition: Application to SCADA.
[DOI]
Fadi Obeid
,
Philippe Dhaussy
Comput. Informatics, 2019
2018
Validation formelle d'implantation de patrons de sécurité. (Formal Validation of Security Patterns Implementation).
[DOI]
Fadi Obeid
PhD thesis, 2018