TTP: Secure ACID Transfer Protocol for Electronic Ticket between Personal Tamper-Proof Devices . - Kimio Kuramitsu; Tadashi Murakami; Hajime Matsuda; Ken Sakamura (COMPSAC, 2000)