Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Validation formelle d’architecture logicielle basée sur des patrons de sécurité

Obeid Fadi Philippe Dhaussy 1
1 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Résumé : 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.
Liste complète des métadonnées

https://hal-ensta-bretagne.archives-ouvertes.fr/hal-01864805
Contributeur : Marie Briec <>
Soumis le : jeudi 30 août 2018 - 14:47:37
Dernière modification le : mercredi 24 juin 2020 - 16:19:51

Identifiants

  • HAL Id : hal-01864805, version 1

Citation

Obeid Fadi, Philippe Dhaussy. Validation formelle d’architecture logicielle basée sur des patrons de sécurité. 17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France. ⟨hal-01864805⟩

Partager

Métriques

Consultations de la notice

151