Giovanni Vigna Cryptographic Traces for Mobile Agents. 137-153 1998 conf/mas/1998 Mobile Agents and Security http://link.springer.de/link/service/series/0558/bibs/1419/14190137.htm db/conf/mas/mas1998.html#Vigna98