Software Security -- Theories and Systems Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers - Okada, Mitsuhiro; Okada, Mitsuhiro; Pierce, Benjamin; Pierce, Benjamin; Scedrov, Andre; Scedrov, Andre; Tokuda, Hideyuki; Tokuda, Hideyuki; Yonezawa, Akinori; Yonezawa, Akinori (Springer Berlin Heidelberg : Imprint: Springer, 2003)