Formalisation et génération d'injections
Résumé
Certains logiciels informatiques, comme les serveurs Web, peuvent se révéler vulnérables aux injections, qui permettent de détourner une fonctionnalité initialement anodine en exploitant une trop grande permissivité dans l'interprétation des requêtes. Nous nous intéressons dans cet article à la définition formelle des injections, vues comme des éléments d'un langage formel, décrit par une grammaire. Nous décrivons le problème théorique de la caractérisation des injections d'un langage donné, et proposons un algorithme permettant d'énumérer des injections, connaissant le langage cible.
Domaines
Cryptographie et sécurité [cs.CR]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...