Tree-based HB protocols for privacy-preserving authentication of RFID tags