Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.uca.fr/hal-01715105
Contributor : Sébastien Salva <>
Submitted on : Thursday, February 22, 2018 - 1:08:40 PM
Last modification on : Wednesday, March 4, 2020 - 12:28:03 PM
Document(s) archivé(s) le : Wednesday, May 23, 2018 - 1:13:51 PM

File

RBS17.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01715105, version 1

Citation

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⟩

Share

Metrics

Record views

159

Files downloads

41