Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. - Hyun Seok Kim; Jeong-Hyun Oh; Jin-Young Choi (COMPSAC (2), 2006)