Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi. Security and Privacy Analysis of RFID Systems Using Model Checking. In Michael Gerndt, Dieter Kranzlmüller, editors, High Performance Computing and Communications, Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings. Volume 4208 of Lecture Notes in Computer Science, pages 495-504, Springer, 2006. [doi]
Abstract is missing.