Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID. - Wei Li 093; Meihua Xiao; Yanan Li; Yingtian Mei; Xiaomei Zhong; Jimin Tu (NCTCS, 2017)