Tests basés sur des modèles et méthodes formelles pour la sécurité des services Web - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2021

Tests basés sur des modèles et méthodes formelles pour la sécurité des services Web

Résumé

Les applications Web (AW) sont en constante évolution et déployées à grande échelle. Cependant, ils sont exposés à diverses attaques. Le plus grand défi auquel sont confrontées les organisations est de savoir comment développer une AW qui répond à leurs exigences en matière d'échange de données sensibles, de commerce électronique et de flux de travail sécurisés. Dans cet article, nous donnons un aperçu sur les principales techniques de vérification dédiées aux AW, à savoir les tests basés sur des modèles et les méthodes formelles.
Fichier principal
Vignette du fichier
Hal___French_version___Formal_Verification___Security.pdf (209.49 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03139203 , version 1 (11-02-2021)

Identifiants

  • HAL Id : hal-03139203 , version 1

Citer

Moez Krichen. Tests basés sur des modèles et méthodes formelles pour la sécurité des services Web. [Rapport de recherche] REDCAD Laboratory. 2021. ⟨hal-03139203⟩

Collections

LARA
120 Consultations
109 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More