Shih-Chien Chou Chin-Yi Chang An information flow control model for C applications based on access control lists. 84-100 2005 78 Journal of Systems and Software 1 http://dx.doi.org/10.1016/j.jss.2004.11.003 db/journals/jss/jss78.html#ChouC05