Security and Privacy Analysis of RFID Systems Using Model Checking.

Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi

Browse the full HPCC paper archive.