@INPROCEEDINGS{ZhangK-2005-cisc,
    author        = {Zhang, Xiaolan and King, Brian},
    title         = {{Modeling RFID Security}},
    booktitle     = {Conference on Information Security and Cryptology -- ISC 2005},
    year          = {2005},
    editor        = {Feng, Dengguo and Lin, Dongdai and Yung, Moti},
    volume        = {3822},
    series        = {Lecture Notes in Computer Science},
    pages         = {75--90},
    address       = {Beijing, China},
    month         = {December},
    organization  = {},
    publisher     = {Springer},
   bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
}
