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