One-Round Provably Secure Yoking-Proof for RFID Applications | IEEE Conference Publication | IEEE Xplore