Security Analysis of RFID Authentication for Pervasive Systems using Model Checking.

Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi

Browse the full COMPSAC paper archive.