Sécurisation des systèmes informatiques complexes

Sécurisation du développement et de l’opération de systèmes complexes à base logicielle, en particulier critiques et soumis à des contraintes de certification