Annalisa Bossi Carla Piazza Sabina Rossi Modelling Downgrading in Information Flow Security. 187- 2004 conf/csfw/2004 CSFW http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.14 db/conf/csfw/csfw2004.html#BossiPR04