TagPay: A Payment Atomic RFID Ownership Transfer Protocol | IEEE Conference Publication | IEEE Xplore