A Supporting Tool to Identify both Satisfied Requirements and Tolerant Threats for a Java Mobile Code Application. - Haruhiko Kaiya; Kouta Sasaki; Chikanobu Ogawa; Kenji Kaijiri (ICEIS (3), 2006)