Les réseaux mobiles 5 G promettent une infrastructure plus flexible et plus dynamique, suivant les dimensions : logique à l'exécution et physique. Cette thèse explorera les protocoles sécurisés d'attestation à distance visant à améliorer la sécurité des environnements dynamiques. La dynamicité logique bien illustrée dans les infrastructures virtualisées (e.g. cloud, 5G...) a comme défi majeur de lier les couches d'une infrastructure virtualisée permettant qu'une VM ou une fonction réseau s'exécute sur un hyperviseur et une plateforme physique spécifique. Ceci est particulièrement difficile lorsque la migration ou la nouvelle instaciation de la VM est possible. La dynamicité de l'exécution concerne les logiciels et leurs évolutions, instanciés dans un environnement d'exécution, ils en utilisent des données (potentiellement sensibles ou privées), manipulent des variables de décision et reçoivent des mises à jour. Pour améliorer la sécurité un service utilisant ces logiciels à distance peut souhaiter vérifier le bon déroulement de leur exécution notamment en utilisant un protocole de "runtime attestation" performant et sécurisé de bout en bout. Finalement la dynamicité physique capture l'auto-organisation du réseau où des groupes d'éléments mobiles dans l'espace physique ou virtuel se forment, évoluent et se reconfigurent dynamiquement (e.g. essaim de drônes). Dans ces cas, le défi sera de construire des protocoles d'attestation collective, avec une vérification décentralisée et capables de s'adapter à la reconfiguration de la topologie ou la perte de connectivité. l'objectif de la thèse est donc de définir des protocoles d'attestation pour environnements dynamiques afin de prouver des propriétés comme l'intégrité d'un infrastructure virtualisée, le lien entre les couches d'une infrastructure (au repos, en mouvement ou l'authenticité de systèmes de systèmes.