Martín Abadi Mihai Budiu Úlfar Erlingsson Jay Ligatti 340-353 2005 conf/ccs/2005 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/1102120.1102165 db/conf/ccs/ccs2005.html#AbadiBEL05