Michael R. Clarkson Andrew C. Myers Fred B. Schneider Belief in Information Flow. 31-45 2005 conf/csfw/2005 CSFW http://dx.doi.org/10.1109/CSFW.2005.10 db/conf/csfw/csfw2005.html#ClarksonMS05