%0 Conference Proceedings
%T Validation formelle d’architecture logicielle basée sur des patrons de sécurité
%+ Lab-STICC_ENSTAB_ CACS_MOCS
%A Fadi, Obeid
%A Dhaussy, Philippe
%< avec comité de lecture
%B 17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel
%C Grenoble, France
%8 2018-06-13
%D 2018
%Z Computer Science [cs]
%Z Computer Science [cs]/Software Engineering [cs.SE]
%Z Computer Science [cs]/Cryptography and Security [cs.CR]Conference papers
%X Les modèles de patrons de sécurité ont été proposés comme des solutions méthodologiques permettant de modéliser des mécanismes qui répondent à des problèmes de sécurité récurrents. Ceux-ci sont décrits dans la littérature et peuvent être exploités dans différents contextes de modélisation. Lors de leur intégration au sein d’un modèle d’architecture, ces modèles de patrons sont à adapter à ses spécificités. Une fois les modèles de patrons intégrés, il est nécessaire de valider formellement le résultat de cette intégration au regard des propriétés fonctionnelles de l’architecture initiale qui doivent être préservées, et au regard des propriétés formelles de sécurité associées aux patrons.Dans notre travail, nous exploitons une technique de model-checking pour la vérification des propriétés. Nous cherchons à exploiter notre approche dans le cadre de la modélisation des architectures SCADA.
%G French
%L hal-01864805
%U https://hal-ensta-bretagne.archives-ouvertes.fr/hal-01864805
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ ENIB
%~ LAB-STICC
%~ INSTITUTS-TELECOM