Martín Nordio Ricardo Medel Francisco Bavera Jorge Aguirre Gabriel Baum A Framework for Execution of Secure Mobile Code based on Static Analysis. 59-66 2004 conf/sccc/2004 SCCC http://doi.ieeecomputersociety.org/10.1109/QEST.2004.1 db/conf/sccc/sccc2004.html#NordioMBAB04