[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Formal Verification of Privacy for RFID Systems
Brusó, Mayla, Chatzikokolakis, Konstantinos, Hartog, Jerry denYear:
2010
Language:
english
DOI:
10.1109/csf.2010.13
File:
PDF, 424 KB
english, 2010