Java card technology for smart cards - Chen, Zhiqun (Addison-Wesley, 2000)