Naoya Nitta Yoshiaki Takata Hiroyuki Seki An efficient security verification method for programs with stack inspection. 68-77 2001 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/501983.501994 db/conf/ccs/ccs2001.html#NittaTS01