Dan S. Wallach Andrew W. Appel Edward W. Felten SAFKASI: a security mechanism for language-based systems. 341-378 2000 9 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/363516.363520 db/journals/tosem/tosem9.html#WallachAF00