A Framework for Execution of Secure Mobile Code based on Static Analysis.

Martín Nordio Ricardo Medel Francisco Bavera Jorge Aguirre Gabriel Baum

Published in: SCCC (2004)

Keyphrases

static analysis
dynamic analysis
symbolic execution
abstract interpretation
source code
malicious code
database
knowledge base
mobile devices
open source
matching algorithm
test suite