Andrew W. Appel Edward W. Felten 52-62 1999 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/319709.319718 db/conf/ccs/ccs1999.html#AppelF99