One-Round Provably Secure Yoking-Proof for RFID Applications. - Sun, Da-Zhi; Xu, Guangquan (2017)