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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
