Bart De Decker Frank Piessens Erik Van Hoeymissen Gregory Neven Semi-trusted Hosts and Mobile Agents: Enabling Secure Distributed Computations. 219-232 http://link.springer.de/link/service/series/0558/bibs/1931/19310219.htm 2000 conf/mata/2000 MATA db/conf/mata/mata2000.html#DeckerPHN00