Virtual Java Card Runtime Environment