Safe, Untrusted Agents using Proof-Carrying Code (1998)

Cached

Download Links

by George C. Necula , Peter Lee
Venue:of Lecture Notes in Computer Science
Citations:32 - 3 self