Politique de développement de l'Abes définissant des méthodes et des outils pour améliorer la qualité des projets et applications, faciliter la maintenance et l'intégration de nouveaux développeurs, et assurer le respect de règles en termes de sécurité.

La Cour des comptes est une institution publique indépendante chargée de veiller à la bonne utilisation des fonds publics en France. Elle contrôle les organismes recevant des financements publics, certifie les comptes de l'État et de la sécurité sociale, et évalue l'efficacité des politiques publiques. Ses travaux, rendus publics, alertent les pouvoirs publics et informent les citoyens sur les dysfonctionnements et les recommandations pour améliorer la gestion des finances publiques.

Outil permettant de caractériser précisément l'ensemble des requêtes indéfinies d'un système basé sur des règles, grâce à une méthode statique et une approche énumérative optimisée. Il permet d'améliorer la flexibilité, la modularité et la fiabilité des systèmes de sécurité en identifiant les conflits de règles et en proposant une vue globale des politiques complexes.