Jia Chen, Meihua Xiao, Ke Yang, Wei Li 0093, Xiaomei Zhong. Formal Analysis and Verification for Three-Party Authentication Protocol of RFID. In Lian Li 0001, Pinyan Lu, Kun He 0001, editors, Theoretical Computer Science - 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings. Volume 882 of Communications in Computer and Information Science, pages 46-60, Springer, 2018. [doi]
Abstract is missing.