@inproceedings{fadi:hal-01326340, TITLE = {{Validation formelle d'implantation de patrons de s{\'e}curit{\'e} : Application aux SCADA}}, AUTHOR = {Fadi, Obeid and Philippe, Dhaussy}, URL = {https://hal.science/hal-01326340}, BOOKTITLE = {{AFADL 2016}}, ADDRESS = {Besan{\c c}on, France}, YEAR = {2016}, MONTH = Jun, KEYWORDS = {S{\'e}curit{\'e} de syst{\`e}mes d'information - Patron de S{\'e}curit{\'e} - V{\'e}rification formelle - Model Checking - SCADA}, HAL_ID = {hal-01326340}, HAL_VERSION = {v1}, }