A secure virtual machine for Java Card Platform