This study investigates the use of RFID technologies to develop anti–counterfeiting and anti–theft solutions that can be deployed in retail environments. The proposed protocols have been designed to address identified weaknesses in previous schemes regarding RFID based counterfeit and also shown through formal methods to be provably secure.