Un Data-Store pour la Génération de Cas de Tests - Université Clermont Auvergne
Communication Dans Un Congrès Année : 2017

Un Data-Store pour la Génération de Cas de Tests

Résumé

Dans le but d'aider les concepteurs dans le choix des patrons de sécurité face aux attaques, nous présentons dans ce papier un data-store regroupant les attaques et les patrons de sécurité. Il permet également la génération automatique d'arbres d'attaques et de défenses ainsi que la génération de squelettes de cas de test. La méthodologie proposée cherche à couvrir un grand nombre de scenarii d'attaques indépendamment des contextes des applications. Nous présentons les cas de test dans une forme qui permet aux concepteurs d'avoir à la fois un support visuel décrivant les actions d'attaques et de défense, une forme compréhensible des cas tests et un ensemble de directives lui permettant le codage de chaque cas. Mots clés : Patrons de sécurité ; Patrons d'attaque ; Cas de test ; Arbres d'attaque et de défense
Fichier principal
Vignette du fichier
RBS17.pdf (357.43 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01715105 , version 1 (22-02-2018)

Identifiants

  • HAL Id : hal-01715105 , version 1

Citer

Loukmen Regainia, Cédric Bouhours, Sébastien Salva. Un Data-Store pour la Génération de Cas de Tests. 16th AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, journées du GDR GPL, Jun 2017, Montpellier, France. ⟨hal-01715105⟩
98 Consultations
55 Téléchargements

Partager

More