L’Agence nationale de sécurité américaine (NSA) vient de placer le projet Tokeener sous licence open source. Ce dernier a été développé en coopération avec la société britannique Praxis High Integrity Systems.
Il constitue un exemple d’ingénierie logicielle à haute garantie, utilisant le langage SPARK Ada et l’environnement de développement GNAT Pro d’AdaCore.
« Nous sommes extrêmement fiers du projet Tokeneer », déclare Keith Williams, directeur général de Praxis. « Nous espérons que les communautés de la recherche, de l’enseignement et du logicielopen sourceferont bon usage du matériel mis à leur disposition en tant que modèle de développement de logiciel à qualité garantie. »
Ce projet crée un pont entre les communautés académique et industrielle. Il permettra, à long terme, d’améliorer les pratiques de développement des fournisseurs de la NSA, en simplifiant la création de logiciels hautement sécurisés.
« Le projet Tokeneer a le potentiel pour révolutionner le développement de systèmes à haute sécurité », précise Robert Dewar, p-dg d’AdaCore. « En mettant le projet Tokeneer à disposition de la communautéopen source, la NSA va aider à promouvoir de bonnes pratiques de programmation et démontrer l’importance de SPARK et d’Ada dans le marché émergent de la sécurité. Nous nous réjouissons d’être associés à Praxis et la NSA dans ce projet révolutionnaire. »
Tokeener est téléchargeable à partir de cette page .
Pour développer une version 7B de son modèle Codestral, Mistral AI n'a pas utilisé de…
L’Autorité de la concurrence et des marchés (CMA) britannique ouvre une enquête sur les conditions…
Thomas Gourand est nommé Directeur Général pour la France. Il est chargé du développement de…
Pour dissuader le CISPE d'un accord avec Microsoft, Google aurait mis près de 500 M€…
Pour réduire la taille des mises à jour de Windows, Microsoft va mettre en place…
De l'organisation administrative à la construction budgétaire, la Cour des comptes pointe le fonctionnement complexe…