![](/img/cover-not-exists.png)
[IEEE 30th Annual International Computer Software and Applications Conference (COMPSAC'06) - Chicaco, IL (2006.09.17-2006.09.21)] 30th Annual International Computer Software and Applications Conference (COMPSAC'06) - Security Analysis of RFID Authentication for Pervasive Systems using Model Checking
Kim, Hyun-seok, Oh, Jeong-hyun, Choi, Jin-youngYear:
2006
Language:
english
DOI:
10.1109/compsac.2006.158
File:
PDF, 141 KB
english, 2006