Validation formelle d'implantation de patrons de sécurité. (Formal Validation of Security Patterns Implementation). - Fadi Obeid (2018)

Formal Verification of Security Pattern Composition: Application to SCADA. - Fadi Obeid; Philippe Dhaussy (Comput. Informatics, 2019)