ion-Carrying Code ? Elvira Albert, Puri Arenas, Germán Puebla, and Manuel Hermenegildo 1 Complutense University of Madrid, {elvira,puri}@sip.ucm.es 2 Technical University of Madrid, {german,herme}@fi.upm.es 3 University of New Mexico, [email protected] Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a pro...
