Software Security - Theories and Systems : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers - Futatsugi, Kokichi (Verfasser); Mizoguchi, Fumio (Verfasser); Yonezaki, Naoki (Verfasser) (Lecture Notes in Computer Science, 2004)