HB^+^+: a Lightweight Authentication Protocol Secure against Some Attacks | IEEE Conference Publication | IEEE Xplore