Argo : l’IA et les mathématiques pour éprouver la sécurité des réseaux satellites

Une cyberattaque peut interrompre des communications bien au-delà de sa cible initiale. En février 2022, l’attaque du réseau satellitaire KA-SAT de Viasat avait désactivé des milliers de modems en Ukraine et ailleurs en Europe.

Atalanta veut aider les exploitants d’infrastructures critiques à mieux mesurer ce genre de risque avec Argo, une plateforme commerciale dévoilée le 18 août 2026. Elle combine intelligence artificielle, modélisation des systèmes et méthodes mathématiques afin de vérifier si certaines propriétés de sécurité ou de résilience sont réellement respectées.

La technologie est prometteuse, mais une preuve portant sur un modèle précis ne garantit pas qu’un système complet résistera à toutes les attaques.

Vérifier le comportement plutôt que chercher seulement des failles

Les outils de cybersécurité traditionnels peuvent analyser le code, surveiller le réseau ou simuler des attaques. Ils trouvent des faiblesses connues, mais ne démontrent pas nécessairement comment l’ensemble d’un système réagira lorsque plusieurs composants tombent en panne ou qu’une liaison est brouillée.

Argo adopte une approche inspirée des méthodes formelles. Celles-ci décrivent mathématiquement le comportement attendu d’un logiciel ou d’un système, puis vérifient si des propriétés déterminées demeurent vraies dans les scénarios analysés.

Le National Institute of Standards and Technology définit ces méthodes comme des techniques mathématiques servant à spécifier et à vérifier des propriétés. Elles peuvent, par exemple, confirmer qu’une liaison essentielle reste disponible malgré certaines perturbations ou que des données ne franchissent pas une frontière de sécurité.

Atalanta appelle son approche « compréhension logicielle ». L’entreprise affirme qu’Argo est la première plateforme commerciale de cette catégorie. Cette affirmation provient du fabricant et aucune comparaison indépendante exhaustive du marché n’a été publiée.

Un premier cas concret avec Viasat

Atalanta travaille depuis environ un an avec Viasat, selon les renseignements transmis à l’Associated Press.

Dans leur annonce commune, les entreprises expliquent avoir modélisé mathématiquement un système de communications par satellite. Argo aurait ensuite vérifié si les améliorations apportées aux liaisons respectaient des seuils opérationnels lorsque celles-ci étaient exposées à de l’interférence et à du brouillage hostile.

Il faut distinguer cette démonstration de l’attaque de 2022. Argo n’a pas réparé le réseau KA-SAT après l’incident et Atalanta ne prétend pas avoir reproduit exactement la même intrusion.

Le partenariat cherche plutôt à fournir des preuves sur la résistance de certains systèmes actuels face à des perturbations et à des attaques émergentes. Viasat affirme que la plateforme l’aide à mesurer des améliorations qui étaient auparavant difficiles à démontrer.

L’Associated Press confirme la commercialisation d’Argo et son utilisation dans les travaux de résilience de Viasat. Aucun rapport technique détaillé, résultat chiffré ou audit indépendant n’accompagne toutefois l’annonce.

Pourquoi l’attaque de 2022 demeure importante

Le 24 février 2022, environ une heure avant le début de l’invasion russe de l’Ukraine, une cyberattaque a perturbé le réseau KA-SAT. Elle a touché des autorités, des entreprises et des utilisateurs dans plusieurs pays.

L’Union européenne a officiellement attribué l’opération à la Russie.

Cet incident a montré qu’une attaque dirigée contre une infrastructure de communication pouvait produire des conséquences civiles transfrontalières. Il explique aussi pourquoi les opérateurs veulent maintenant évaluer la résilience d’un réseau avant son déploiement, plutôt qu’après une interruption.

Au-delà des satellites

Atalanta présente également des versions d’Argo destinées à l’énergie et aux systèmes de défense.

La plateforme pourrait servir à vérifier qu’un système industriel respecte ses contraintes de sécurité, que des données sensibles demeurent isolées ou que les interventions humaines obligatoires ne sont pas contournées.

Selon l’Associated Press, la technologie d’Atalanta participe aussi à des travaux liés à la mission Genesis du Département américain de l’Énergie, qui étudie notamment des réacteurs nucléaires plus autonomes.

Cette participation ne constitue pas une homologation générale d’Argo. Elle montre plutôt que l’approche est évaluée dans des domaines où une erreur logicielle peut avoir des conséquences importantes.

Prix et disponibilité au Canada

Atalanta ne publie aucun prix ni aucune fourchette pour Argo. La plateforme est offerte sur demande aux organisations exploitant des infrastructures critiques.

Aucune disponibilité, installation ou entente commerciale propre au Canada n’a été annoncée. Les coûts pourraient varier selon le système analysé, sa complexité, les services d’intégration, les exigences de sécurité, le contrat de soutien et la région.

Limites ou points à considérer

Une preuve mathématique dépend toujours du modèle, des propriétés choisies et des hypothèses de départ. Si un composant, une configuration ou une menace n’est pas correctement représenté, la preuve peut ne pas couvrir le comportement réel.

Le NIST rappelle d’ailleurs que les essais traditionnels restent nécessaires : certaines hypothèses utilisées dans une preuve peuvent ne plus être valides lorsque la spécification est transformée en code et reliée à des bibliothèques externes.

Argo ne remplace donc pas la surveillance opérationnelle, les mises à jour, les contrôles d’accès, les essais d’intrusion ou la formation du personnel.

Atalanta ne détaille pas non plus le rôle exact de l’IA, la durée des analyses, les ressources requises, le taux de fausses alertes ou la proportion d’un système que la plateforme peut examiner automatiquement.

Conclusion

Argo tente de faire passer la cybersécurité d’une logique où l’on cherche des failles connues à une logique où l’on vérifie mathématiquement certaines propriétés essentielles.

Le travail réalisé avec Viasat constitue un exemple concret, mais encore peu documenté publiquement. Il ne prouve ni l’invulnérabilité d’un réseau satellitaire ni l’élimination de toutes les cyberattaques.

Si les résultats peuvent être reproduits et audités, cette combinaison d’IA et de méthodes formelles pourrait néanmoins devenir un outil important pour les satellites, les réseaux énergétiques et les autres infrastructures dont le fonctionnement ne peut pas dépendre uniquement de tests conventionnels.