KimOC06'

@inproceedings{DBLP:conf/compsac/KimOC06,
  author    = {Hyun Seok Kim and
               Jeong-Hyun Oh and
               Jin-Young Choi},
  title     = {Security Analysis of RFID Authentication for Pervasive Systems
               using Model Checking},
  booktitle = {COMPSAC (2)},
  year      = {2006},
  pages     = {195-202},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.158},
  crossref  = {DBLP:conf/compsac/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/compsac/2006,
  title     = {30th Annual International Computer Software and Applications
               Conference (COMPSAC 2006), 17-21 September 2006, Chicago,
               Illinois, USA},
  booktitle = {COMPSAC},
  publisher = {IEEE Computer Society},
  year      = {2006},
  isbn      = {0-7695-2655-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}