Approches et outils pour la sécurité dans le développement et l'évaluation de logiciels et de matériel · Captaru