Une politique fermée par défaut
DEFAULT DENY signifie qu’ajouter un nouvel outil ne l’autorise pas. Une règle ALLOW explicite est nécessaire.
Ordre de décision
NEVER est irrévocable. Une approbation humaine ne le lève pas et une règle ALLOW plus spécifique ne gagne pas contre lui.
Variables de décision
Les gardes peuvent lire l’état et les propriétés de la requête courante :
L’échelle de risque intégrée est ordonnée :
NONE < INFO < LOW < MEDIUM < HIGH < SEVERE < CRITICAL.
Gardes indéterminées
Les politiques utilisent une logique trivalente. Un chemin absent n’est pas traité comme un faux rassurant.
Cette convention échoue fermé tout en conservant la logique forte de Kleene pour les expressions composées.
Écrire des politiques testables
1
Déclarez le défaut
Utilisez
DEFAULT DENY pour que la surface permise reste explicite.2
Autorisez le nominal
Ajoutez la condition minimale sous laquelle l’action peut être proposée.
3
Écrivez les interdits absolus
Réservez
NEVER aux situations qu’aucune approbation ne doit lever.4
Déclarez la sortie humaine
Utilisez
REQUIRE APPROVAL pour les risques acceptables mais non autonomes.5
Ajoutez un contre-factuel
Créez un
SCENARIO où l’action serait utile mais doit être bloquée.Vérifier les théorèmes
Examinez routes interdites, replis et surface LLM.
Chaîne de qualité
Intégrez les contrôles dans votre boucle de livraison.