Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Mitsuhiro Okada 0001 Benjamin C. Pierce Andre Scedrov Hideyuki Tokuda Akinori Yonezawa Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers ISSS Lecture Notes in Computer Science 2609 Springer 2003 3-540-00708-3 https://doi.org/10.1007/3-540-36532-X db/conf/isss2/isss2002.html