Daewan Han: Grobner Basis Attacks on Lightweight RFID Authentication Protocols. J. Inf. Process. Syst. 7(4): 691-706 (2011)