Login / Signup
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.
Gilles Barthe
Guillaume Dufay
Line Jakubiec
Simão Melo de Sousa
Published in:
VMCAI (2002)
Keyphrases
</>
virtual machine
formal specification
operating system
data center
computing resources
cloud computing environment
smart card
distributed computing
low latency
model checking
real time
windows xp
application level
java card
database
reverse engineering
cloud computing
byte code
multi tasking