Security Policy Checker and Generator for Java Mobile Codes. - Haruhiko Kaiya; Hitoshi Furukawa; Kenji Kaijiri (Engineering Information Systems in the Internet Context, 2002)