Jianjun Shen Sihan Qing A dynamic information flow model of secure systems. 341-343 2007 conf/ccs/2007asia ASIACCS http://doi.acm.org/10.1145/1229285.1229321 db/conf/ccs/asiaccs2007.html#ShenQ07