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. RFID,ownership transfer,atomic,payment

作者: Himanshu Pagey Kien A. Hua

作者单位: School of EECS University of Central Florida Orlando, FL, USA

会议类型: 国际会议

会议名称: 12th IEEE International Conference on Commerce and Enterprise Computing(第12届IEEE商务与企业计算技术国际研讨会 CEC 2010)

会议地点: 上海

会议语种:英文

页码: 196-203

在线出版日期: 2010-11-10（万方平台首次上网日期，不代表论文的发表时间）