untrusted agents using proof-carrying code (1998)

by G C Necula, P Safe Lee
Venue:In: Mobile Agents and Security. Volume 1419 of Lecture Notes in Computer Science