Xiaolan Zhang 0003 Brian King Modeling RFID Security. 75-90 2005 conf/cisc/2005 CISC http://dx.doi.org/10.1007/11599548_7 db/conf/cisc/cisc2005.html#0003K05