Untraceability in the applied pi-calculus

International Conference for Internet Technology and Secured Transactions, ICITST 2009

Volumn , Issue , 2009, Pages

  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

CALCULATIONS;

APPLIED PI CALCULUS; RF-ID TAGS; RFID PROTOCOLS; STRONG AND WEAK FORMS; UN TRACEABILITYS;

RADIO FREQUENCY IDENTIFICATION (RFID);

EID: 77950308134     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icitst.2009.5402514     Document Type: Conference Paper

References (20)

1. M. Abadi, B. Blanchet, and C. Fournet. Just fast keying in the pi calculus. ACM Trans. Inf. Syst. Secur., 10(3):9, 2007.
2. M. Abadi and C. Fournet. Mobile values, new names, and secure communication. SIGPLAN Not., 36(3):104-115, 2001.
3. G. Avoine. Cryptography in Radio Frequency Identification and Fair Exchange Protocols. PhD thesis, EPFL, Lausanne, Switzerland, December 2005.
4. G. Avoine, E. Dysli, and P. Oechslin. Reducing time complexity in RFID systems. In B. Preneel and S. Tavares, editors, Selected Areas in Cryptography - SAC 2005, volume 3897 of Lecture Notes in Computer Science, pages 291-306, Kingston, Canada, August 2005.
5. Boycott benetton. http://www.boycottbenetton.com/.
6. B. Blanchet. An e.cient 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.
7. B. Blanchet. Automatic Proof of Strong Secrecy for Security Protocols. In IEEE Symposium on Security and Privacy, pages 86-100, Oakland, California, May 2004.
8. M. Burmester, T. v. Le, and B. d. 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. C. Caldwell. A pass on privacy? The New York Times, July 17, 2005.
10. D. Chaum, P. Y. A. Ryan, and S. A. Schneider. A practical voter-verifiable election scheme. In ESORICS, pages 118-139, 2005.
11. P. T. Force. Pki for machine readable travel documents offering icc read-only access. Technical report, International Civil Aviation Organization, 2004.
12. C. Fournet and M. Abadi. Hiding names: Private authentication in the applied pi calculus. In ISSS'02: Proceedings of the International Symposium on Software Security, volume 2906 of LNCS, pages 317-338, 2003., 2003.
13. F. D. Garcia, G. Koning Gans, R. Muijrers, P. Rossum, R. Verdult, R. W. Schreur, and B. Jacobs. Dismantling mifare classic. In ESORICS '08: Proceedings of the 13th European Symposium on Research in Computer Security, pages 97-114, 2008.
14. S. L. Garfinkel, A. Juels, and R. Pappu. RFID privacy: An overview of problems and proposed solutions. IEEE Security and Privacy, 3(3):34-43, 2005.
15. A. Juels. RFID security and privacy: a research survey. IEEE Journal on Selected Areas in Communications, 24(2):381-394, 2006.
16. A. Juels and S. 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.
17. S. Saponas, J. Lester, C. Hartung, and T. Kohno. Devices that tell on you: The Nike+iPod sport kit. Technical report, University of Washington, 2006.
18. T. van Deursen, S. Mauw, and S. Radomirovi. 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.
19. S. Vaudenay. On privacy models for RFID. In Advances in Cryptology ASIACRYPT 2007, pages 68-87, 2007.
20. S. A. Weis, S. E. Sarma, R. L. Rivest, and D. 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.