A scalable and provably secure hash-based RFID protocol | IEEE Conference Publication | IEEE Xplore