Un Data-Store pour la Génération de Cas de Tests - Archive ouverte HAL
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
Fichier principal
Vignette du fichier
document.pdf (415.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02040488 , version 1 (20-02-2019)

Identifiants

  • HAL Id : hal-02040488 , version 1

Citer

Loukmen Regainia, Cédric Bouhours, Sébastien Salva. Un Data-Store pour la Génération de Cas de Tests. 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-02040488⟩
46 Consultations
29 Téléchargements

Partager

More