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]
No references recorded for this publication.
No citations of this publication recorded.