PILOTE

Choisissez une action critique. On prouve que vos règles tiennent, ou on vous montre exactement où elles cassent.

Vous choisissez une action que vos systèmes font déjà, par exemple un virement. On traduit vos règles en vérification, on bloque avant l’exécution tout ce qui les enfreint, et chaque décision est scellée. À la fin, votre équipe de risque revérifie tout elle-même, sans nous.

COMMENT ÇA SE DÉROULE

  1. 01

    Choisir l’action

    Un type d’action que vos agents ou scripts exécutent déjà — un transfert, un accès, une suppression, un déploiement — et les règles qui l’encadrent aujourd’hui.

  2. 02

    Prouver la politique

    Nous encodons les règles, cherchons les séquences qui passent chaque règle mais trahissent l’intention, et prouvons que la politique corrigée tient.

  3. 03

    Appliquer et sceller

    La barrière tourne dans votre environnement, devant l’action. Chaque décision, autorisée ou bloquée, est scellée.

  4. 04

    Vérifier sans nous

    Votre équipe de risque ou votre auditeur revérifie le certificat et les traces sur sa propre machine.

Ce que vous apportez

  • Le type d’action, et où il s’exécute aujourd’hui.
  • La règle telle qu’elle est écrite : limites, approbations, fenêtres, gels.
  • Une personne responsable de cette règle, qui peut dire ce qu’elle voulait dire.
  • Un endroit dans votre environnement où la barrière peut se placer devant l’action.

Ce que vous gardez

  • La barrière, devant cette action.
  • Une trace scellée de chaque décision, comme le dossier de preuve.
  • Ce que le solveur a trouvé dans votre règle, y compris ses fuites, comme le montre le labo.
  • Les lectures choisies pour votre règle, et les limites de ce qui a été prouvé, par écrit.

CE QU’UN PILOTE NE VOUS DIRA PAS

Trois choses, dites avant que vous les demandiez.

  1. 1

    Si votre règle est la bonne.

    Il montre exactement ce que votre règle permet, y compris ce que personne ne voulait permettre. Le choix de la règle vous appartient.

  2. 2

    Quoi que ce soit sur les actions qui contournent la barrière.

    La preuve tient là où l’action ne peut s’exécuter qu’à travers la barrière. Le certificat énonce cette frontière.

  3. 3

    Si ce que l’appelant déclare est vrai.

    Une fenêtre ou une population déclarée est scellée avec le verdict, pas vérifiée contre vos systèmes. Un mensonge cohérent est au dossier, pas empêché.

UN BON CANDIDAT SI

  • Un agent, une API ou un script peut déjà exécuter l’action sans qu’une personne clique sur approuver
  • Les règles existent sur papier — limites, approbations, fenêtres, gels
  • Quelqu’un devra montrer que ces règles ont réellement tenu

Dites-nous quelle action.

Laissez un courriel professionnel. Nous répondons pour fixer un premier appel sur l’action et la règle derrière elle.