Title
Tagpay: A Payment Atomic Rfid Ownership Transfer Protocol
Keywords
Atomic; Ownership transfer; Payment; RFID
Abstract
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. © 2010 IEEE.
Publication Date
12-1-2010
Publication Title
Proceedings - 12th IEEE International Conference on Commerce and Enterprise Computing, CEC 2010
Number of Pages
196-203
Document Type
Article; Proceedings Paper
Personal Identifier
scopus
DOI Link
https://doi.org/10.1109/CEC.2010.33
Copyright Status
Unknown
Socpus ID
79952422793 (Scopus)
Source API URL
https://api.elsevier.com/content/abstract/scopus_id/79952422793
STARS Citation
Pagey, Himanshu and Hua, Kien A., "Tagpay: A Payment Atomic Rfid Ownership Transfer Protocol" (2010). Scopus Export 2010-2014. 438.
https://stars.library.ucf.edu/scopus2010/438