A Provably Secure Two-Factor Authentication Scheme for USB Storage Devices | IEEE Journals & Magazine | IEEE Xplore