Chiara Bodei Pierpaolo Degano Corrado Priami Checking security policies through an enhanced Control Flow Analysis. 49-85 2005 13 Journal of Computer Security 1 db/journals/jcs/jcs13.html#BodeiDP05