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 .
L'Autorité de la concurrence et des marchés (CMA) a lancé la phase de recherche de…
Broadcom remplace pas moins de 168 logiciels VMware par deux grandes licences de location correspondant…
La banque d’investissement de BNP Paribas utilise l'IA pour proposer des stratégies d’investissement individualisées, en…
OVHCloud partage ses efforts environnementaux au sommet de l’Open Compute Project qui se tient à…
Avec Phi-3-mini, Microsoft lance un SLM conçu pour attirer une clientèle disposant de ressources financières…
La Commission européenne serait sur le point d'approuver la proposition d'Apple visant à fournir à…