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.