Formal Verification of Privacy for RFID Systems

Mayla Brusò, Konstantinos Chatzikokolakis, Jerry den Hartog. Formal Verification of Privacy for RFID Systems. In Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010. pages 75-88, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.