Analysing unlinkability and anonymity using the applied pi calculus

Proceedings - IEEE Computer Security Foundations Symposium

Volumn , Issue , 2010, Pages 107-121

  Arapinis, Myrto ^a   Chothia, Tom ^a   Ritter, Eike ^a   Ryan, Mark ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLIED PI CALCULUS; COMPLEMENTARY PROPERTY; E-PASSPORT; LINKABLE; THIRD PARTIES; UNLINKABILITY;

SECURITY SYSTEMS;

CALCULATIONS;

EID: 77957559043     PISSN: 19401434     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSF.2010.15     Document Type: Conference Paper

References (24)

1. ISO 15408-2: Common Criteria for Information Technology Security Evaluation - Part 2: Security functional components. Final draft, ISO/IEC, July 2009.
2. Martín Abadi and Cédric Fournet. Mobile values, new names, and secure communication. SIGPLAN Not., 36(3):104-115, 2001.
3. Myrto Arapinis, Tom Chothia, Eike Ritter, and Mark Ryan. Untraceability in the applied pi-calculus. In RISC09: Proceedings the 1st International Workshop on RFID Security and Cryptography. IEEE, 2009.
4. Gildas Avoine. Cryptography in Radio Frequency Identification and Fair Exchange Protocols. PhD thesis, EPFL, Lausanne, Switzerland, December 2005.
5. Gildas Avoine, Etienne Dysli, and Philippe Oechslin. Reducing time complexity in RFID systems. In Bart Preneel and Stafford Tavares, editors, Selected Areas in Cryptography - SAC 2005, volume 3897 of Lecture Notes in Computer Science, pages 291-306, Kingston, Canada, August 2005.
6. Michael Barbaro and Tom Zeller Jr. A face is exposed for aol searcher no. 4417749. The New York Times, August 9, 2006.
7. Bruno Blanchet. An efficient cryptographic protocol verifier based on prolog rules. In CSFW '01: Proceedings of the 14th IEEE workshop on Computer Security Foundations, page 82, Washington, DC, USA, 2001. IEEE Computer Society.
8. Mike Burmester, Tri van Le, and Breno de Medeiros. Provably Secure Ubiquitous Systems: Universally Composable RFID Authentication Protocols. In Conference on Security and Privacy for Emerging Areas in Communication Networks - SecureComm, Baltimore, Maryland, USA, August-September 2006. IEEE.
9. Christopher Caldwell. A pass on privacy? The New York Times, July 17, 2005.
10. Tom Chothia. Analysing the MUTE anonymous file-sharing system using the pi-calculus. In FORTE, volume 4229 of LNCS, pages 115- 130. Springer, 2006.
11. Tom Chothia and Vitaliy Smirnov. A traceability attack against epassports. In FC10: Proceedings of the 14th International Conference on Financial Cryptography and Data Security 2010. LNCS, Springer-Verlag, 2010.
12. Stéphanie Delaune, Steve Kremer, and Mark D. Ryan. Verifying privacytype properties of electronic voting protocols. Journal of Computer Security, 2009.
13. Ton van Deursen, Sjouke Mauw, and Saša Radomirovíc. Untraceability of RFID protocols. In Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks, volume 5019. 5019 of Lecture Notes in Computer Science, page 115. Springer, 2008.
14. Ton van Deursen and Saša Radomirović. Algebraic attacks on rfid protocols. In WISTP '09: Proceedings of the 3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks, pages 38- 51. Springer-Verlag, 2009.
15. Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, and Peter van Rossum. Provable anonymity. In Proceedings of the 3rd ACM Workshop on Formal Methods in Security Engineering (FMSE05), Alexandria, VA, USA, November 2005.
16. Simson L. Garfinkel, Ari Juels, and Ravi Pappu. RFID privacy: An overview of problems and proposed solutions. IEEE Security and Privacy, 3(3):34-43, 2005.
17. Dan Goodin. Defects in e-passports allow real-time tracking. The Register, 26th January 2010.
18. Ari Juels. RFID security and privacy: a research survey. IEEE Journal on Selected Areas in Communications, 24(2):381-394, 2006.
19. Ari Juels and Stephen A. Weis. Defining strong privacy for RFID. In PERCOMW '07: Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications Workshops, pages 342-347, Washington, DC, USA, 2007. IEEE Computer Society.
20. Karl Koscher, Ari Juels, Vjekoslav Brajkovic, and Tadayoshi Kohno. Epc rfid tag security weaknesses and defenses: passport cards, enhanced drivers licenses, and beyond. In ACM Conference on Computer and Communications Security, pages 33-42, 2009.
21. PKI Task Force. PKI for machine readable travel documents offering icc read-only access. Technical report, International Civil Aviation Organization, 2004.
22. Steve Schneider and Abraham Sidiropoulos. Csp and anonymity. In In European Symposium on Research in Computer Security, pages 198- 218. Springer-Verlag, 1996.
23. Serge Vaudenay. On privacy models for RFID. In Advances in Cryptology ASIACRYPT 2007, pages 68-87, 2007.
24. Stephen A. Weis, Sanjay E. Sarma, Ronald L. Rivest, and Daniel W. Engels. Security and privacy aspects of low-cost radio. In Hutter, D., Müller, G., Stephan, W., Ullman, M., eds.: International Conference on Security in Pervasive Computing - SPC 2003, volume 2802 of LNCS, Boppard, Germany, pages 454-469. Springer-Verlag, march 2003.