@inproceedings{fadi:hal-01864805,
  TITLE = {{Validation formelle d'architecture logicielle bas{\'e}e sur des patrons de s{\'e}curit{\'e}}},
  AUTHOR = {Fadi, Obeid and Dhaussy, Philippe},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-01864805},
  BOOKTITLE = {{17e journ{\'e}es AFADL 2018, Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciel}},
  ADDRESS = {Grenoble, France},
  YEAR = {2018},
  MONTH = Jun,
  HAL_ID = {hal-01864805},
  HAL_VERSION = {v1},
}