TTP: secure ACID transfer protocol for electronic ticket between personal tamper-proof devices | IEEE Conference Publication | IEEE Xplore