Khaled Alghathbar Duminda Wijesekera Analyzing Information Flow Control Policies in Requirements Engineering. 193-196 2004 conf/policy/2004 POLICY http://csdl.computer.org/comp/proceedings/policy/2004/2141/00/21410193abs.htm db/conf/policy/policy2004.html#AlghathbarW04