Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications