Gilles Barthe Pedro R. D'Argenio Tamara Rezk Secure Information Flow by Self-Composition. 100-114 2004 conf/csfw/2004 CSFW http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.17 db/conf/csfw/csfw2004.html#BartheDR04