Martín Abadi Cédric Fournet Access Control Based on Execution History. 2003 conf/ndss/2003 NDSS http://www.isoc.org/isoc/conferences/ndss/03/proceedings/papers/7.pdf db/conf/ndss/ndss2003.html#AbadiF03