Outils d'aide à l'écriture de logiciel de sécurité. Rapport final.

Financeur

Organisme auteur

Source

Résumé

Cette étude a pour objet de faire la synthèse d'un projet de recherche sur les outils d'aide à l'écriture d'un logiciel de sécurité. Elle débouche sur la définition de LSAda (Langage Sécuritaire Ada) pour les applications utilisant la technique du mono-processeur codé SACEM puis, montre qu'il est possible de changer le langage de programmation et simplifier considérablement la chaîne de production sans remettre en cause ni les principes ni les principaux outils existants.

Thème

Cote