Analyses de sécurité par interprétation abstraite. · CEA /LIST - Laboratoire d'intégration de systèmes et de technologies, Doctorat · La Géode