Guillaume Bouffard, Mathieu Lassale, Sergio Ona Domene, Hanan Tadmori, Jean-Louis Lanet. Intégration d'une politique de flot de contrôle dans un automate de sécurité.
8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information (SAR-SSI), Sep 2013, Mont-de-Marsan, France.
⟨hal-00966394⟩