Aller au contenu
BYSS.Group

Cybersécurité · IA agentique · 2026

AEGIS Control

Une couche de contrôle qui refuse qu'un agent IA agisse tant que l'identité, la mission, les preuves, l'autorisation et le retour sûr ne sont pas vérifiables.

Aperçu du projet, AEGIS Control
Laboratoire actif

Rôle

Architecture de confiance, noyau de décision & preuve

Type

Infrastructure de confiance

Expertises Byss

AEGIS Control n'est pas un nouvel agent SOC. C'est une frontière d'exécution entre une IA qui propose et une infrastructure qui peut être modifiée. Une action cyber doit lier une mission signée, des preuves indépendantes et fraîches, une politique externe, une autorisation à usage unique, une exécution bornée et une obligation de restauration. Le laboratoire tourne sans un seul secret, kubeconfig ou système client : c'est une règle du dépôt, et c'est ce qui permet à n'importe qui de tout rejouer sur un poste de travail.

Éprouvé localement

TypeScriptRust (vérificateur indépendant)PostgreSQLTemporalOPA / RegoSPIFFE / SPIREOpenBao TransitKubernetes / CiliumSCITT / COSEQuint / Apalache

La suite

  • Cluster de production (pilote)
  • SPIRE de bout en bout
  • HSM externe
  • Stockage WORM externe
  • Matrice multi-clusters

0

vecteurs de la spécification reproduits à l'octet par un vérificateur indépendant, écrit en Rust

0

portes entre la proposition d'un agent et son effet ; chacune émet un artefact signé

0s

durée de vie d'une autorisation d'exécution, à usage unique, liée à l'état vérifié

0

tests au vert, cluster Kubernetes jetable en CI compris : aucun nœud ne reste cordonné après la campagne

Ce que le laboratoire met en œuvre

01

Décider avant d'autoriser

La proposition seule ne vaut jamais autorité. Mission, identité, état de la cible, politique et preuves sont liés à une intention canonique avant tout engagement.

02

Une autorisation qui s'épuise

Les capacités sont liées à une action, un public, une cible et une fenêtre courte. Leur consommation est atomique et protégée contre le rejeu.

03

Borner l'effet réel

L'exécuteur typé n'accepte pas de commande générique. Le chemin Kubernetes qualifié ne peut appliquer que des formes d'isolation explicitement admises.

04

Rendre le retour obligatoire

La restauration est pré-engagée, planifiée et réessayée de façon bornée. Chaque résultat produit un reçu signé et une trace vérifiable hors ligne.

Ce qui est prouvé. Ce qui vient ensuite.

Un dossier crédible montre sa frontière de preuve aussi nettement que ses résultats. À gauche, ce qui est reproduit dans l'environnement actuel ; à droite, la suite, nommée avant le pilote, avec ce que chaque étape apportera.

Vérifié dans l'environnement actuel

  • 389 tests au vert ; le vérificateur Rust reproduit les 27 vecteurs de la spécification à l'octet, sans une ligne partagée avec le noyau.
  • Deux actions réversibles qualifiées sur un cluster jetable, restauration comprise : isoler une charge, cordonner un nœud. La CI vérifie qu'aucun nœud ne reste cordonné.
  • Chaque reçu est une capsule SCITT relue par une bibliothèque COSE tierce, et porte l'empreinte du SBOM du build qui l'a émis.
  • Un journal de transparence interrogeable sans compte, preuve d'inclusion recalculable dans un navigateur ; les racines de relevé MAIVAR s'y ancrent depuis la 0.15.0.

La suite

  • Le premier cluster de production, par un pilote en mode observation : AEGIS produit le reçu signé de ce qu'il aurait fait, sans rien modifier.
  • L'audit de sécurité indépendant, sur une base construite pour le rendre court : vérificateur, vecteurs, modèle formel, garde-fous éprouvés par mutation.
  • SPIRE de bout en bout et un HSM à la place des clés locales ; le chemin OpenBao Transit est déjà dans le code.
  • La matrice des distributions Kubernetes et un stockage WORM externe, étendus avec chaque pilote.

Laboratoire actif · ouvert à un pilote

AEGIS Control

Proposer un pilote en mode observationRevenir au registre BYSS Labs

Un projet comme celui-ci en tête ?

Scellé à Fort-de-France · MMXXVI