Looking for needles in a haystack: Detecting counterfeits in large scale RFID systems using batch authentication protocol | IEEE Conference Publication | IEEE Xplore