Lecture Notes in Computer Science: Software Security — Theories and Systems : Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers (Series #2609) (Paperback)