Formal Verification of Privacy for RFID Systems

Formal Verification of Privacy for RFID Systems,10.1109/CSF.2010.13,Mayla Brusò,Konstantinos Chatzikokolakis,Jerry den Hartog

Formal Verification of Privacy for RFID Systems   (Citations: 3)
BibTex | RIS | RefWorks Download
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their wireless nature, introduces privacy concerns as a tag could leak information about the owner's behaviour. In this paper we define two privacy notions, unlinkability and forward privacy, using a formal model based on the applied pi calculus, and we show the relationship between them. Then we focus on a generic class of simple privacy protocols, giving sufficient and necessary conditions for unlinkability and forward privacy for this class. These conditions are based on the concept of frame independence that we develop in this paper. Finally, we apply our techniques to two identification protocols, formally proving their privacy guarantees.
Conference: Computer Security Foundations Workshop - CSFW , pp. 75-88, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: