TagPay: A Payment Atomic RFID Ownership Transfer Protocol

Much research has been done on preserving RFID tag owner´s location privacy. This research has produced various RFID tag ownership transfer protocols. Since these protocols operate across various entities in a distributed manner, they should exhibit ownership atomicity. More often than not, ownership transfer could precede or succeed payment transfer. In this paper, we introduce a novel commerce environment, RFCommerce and present a payment atomic protocol, TagPay that facilitates payments and ownership transfers in it. We analyze important properties of TagPay and prove their validity using model checking.