untrusted agents using proof-carrying code (1998)

by Safe
Venue:Mobile Agents and Security, volume 1419 of LNCS