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.
Domaines
Informatique [cs]
Fichier principal
Hal___French_version___Formal_Verification___Security.pdf (209.49 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|