Andrew C. Myers Making distributed systems secure with program analysis and transformation. 47 2005 conf/paste/2005 PASTE http://doi.acm.org/10.1145/1108792.1108805 db/conf/paste/paste2005.html#Myers05