Formal Verification of Cryptographic Protocol for Secure RFID System. - Hyun Seok Kim; Jung-Hyun Oh; Ju-Bae Kim; Yeon-Oh Jeong; Jin-Young Choi (NCM (2), 2008)