Mercredi 17
Session doctorants
Maxime Puys
› 16:40 - 16:50 (10min)
Orchestration et Vérification de Fonctions de Sécurité pour Environnements Intelligents
Nicolas Schnepf  1, 2, *@  , Rémi Badonnel  2, *@  , Abdelkader Lahmadi  2, *@  , Stephan Merz  1, *@  
1 : VERIDIS  (INRIA Nancy - Grand Est / LORIA)  -  Site web
INRIA, Université de Lorraine, CNRS : UMR7503
2 : MADYNES  (INRIA Nancy - Grand Est / LORIA)  -  Site web
INRIA, CNRS : UMR7503, Université de Lorraine
* : Auteur correspondant

La protection des équipements intelligents tels que smartphones devient un point sensible du fait de la popularité de ces plateformes et des contraintes qu'elles induisent. Pour assurer cette protection, nous proposons une stratégie fondée sur la génération et la vérification automatique de chaînes de sécurité déployées en environnements cloud. En particulier, nous proposons d'exploiter les possibilités offertes par la programmabilité des réseaux, conjointement à des techniques de vérification formelle, pour permettre le déploiement automatique de ces chaînes. Nous décrivons également un ensemble de résultats préliminaires obtenus dans ce cadre.


Personnes connectées : 1