Najah Ben Said. Information Flow Security in Component-Based Models : From verification to Implementation. (Sécurité du flux d'information : de la vérification à l'implémentation). PhD thesis, Grenoble Alpes University, France, 2016. [doi]
Abstract is missing.