Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems