Model-Carrying Code (MCC): a new paradigm for mobile-code security.

R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka

Browse the full NSPW paper archive.