Enforcing Information Flow Policies by a Three-Valued Analysis. - Josée Desharnais; Erwanne P. Kanyabwero; Nadia Tawbi (MMM-ACNS, 2012)