Untraceability in the applied pi-calculus

M. Arapinis; T. Chothia; E. Ritter; Mark Ryan

doi:10.1109/ICITST.2009.5402514

Untraceability in the applied pi-calculus

M. Arapinis, T. Chothia, E. Ritter, Mark Ryan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The use of RFID tags in personal items, such as passports, may make it possible to track a person's movements. Even RFID protocols that encrypt their identity may leak enough information to let an attacker trace a tag. In this paper we define strong and weak forms of untraceablility, and illustrate these definitions with a simple example. We formally define these concepts in the applied pi-calculus which in some cases makes it possible to automatically check if an RFID tag running a particular protocol is untraceable.

Original language	English
Title of host publication	Internet Technology and Secured Transactions, 2009. ICITST 2009. International Conference for
Pages	1-6
Number of pages	6
DOIs	https://doi.org/10.1109/ICITST.2009.5402514
Publication status	Published - 1 Nov 2009

Keywords / Materials (for Non-textual outputs)

cryptography
pi calculus
radiofrequency identification
telecommunication computing
RFID tag
encryption
pi-calculus
Computer science
Control systems
Cryptography
Data security
Databases
Identity-based encryption
Protocols
RFID tags
Radiofrequency identification
Tracking

Access to Document

10.1109/ICITST.2009.5402514

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5402514

Cite this

@inproceedings{89e3b3ca35ee4426a0a710ae3701eed4,

title = "Untraceability in the applied pi-calculus",

abstract = "The use of RFID tags in personal items, such as passports, may make it possible to track a person's movements. Even RFID protocols that encrypt their identity may leak enough information to let an attacker trace a tag. In this paper we define strong and weak forms of untraceablility, and illustrate these definitions with a simple example. We formally define these concepts in the applied pi-calculus which in some cases makes it possible to automatically check if an RFID tag running a particular protocol is untraceable.",

keywords = "cryptography, pi calculus, radiofrequency identification, telecommunication computing, RFID tag, encryption, pi-calculus, Computer science, Control systems, Cryptography, Data security, Databases, Identity-based encryption, Protocols, RFID tags, Radiofrequency identification, Tracking",

author = "M. Arapinis and T. Chothia and E. Ritter and Mark Ryan",

year = "2009",

month = nov,

day = "1",

doi = "10.1109/ICITST.2009.5402514",

language = "English",

isbn = "978-1-4244-5647-5",

pages = "1--6",

booktitle = "Internet Technology and Secured Transactions, 2009. ICITST 2009. International Conference for",

}

TY - GEN

T1 - Untraceability in the applied pi-calculus

AU - Arapinis, M.

AU - Chothia, T.

AU - Ritter, E.

AU - Ryan, Mark

PY - 2009/11/1

Y1 - 2009/11/1

N2 - The use of RFID tags in personal items, such as passports, may make it possible to track a person's movements. Even RFID protocols that encrypt their identity may leak enough information to let an attacker trace a tag. In this paper we define strong and weak forms of untraceablility, and illustrate these definitions with a simple example. We formally define these concepts in the applied pi-calculus which in some cases makes it possible to automatically check if an RFID tag running a particular protocol is untraceable.

AB - The use of RFID tags in personal items, such as passports, may make it possible to track a person's movements. Even RFID protocols that encrypt their identity may leak enough information to let an attacker trace a tag. In this paper we define strong and weak forms of untraceablility, and illustrate these definitions with a simple example. We formally define these concepts in the applied pi-calculus which in some cases makes it possible to automatically check if an RFID tag running a particular protocol is untraceable.

KW - cryptography

KW - pi calculus

KW - radiofrequency identification

KW - telecommunication computing

KW - RFID tag

KW - encryption

KW - pi-calculus

KW - Computer science

KW - Control systems

KW - Cryptography

KW - Data security

KW - Databases

KW - Identity-based encryption

KW - Protocols

KW - RFID tags

KW - Radiofrequency identification

KW - Tracking

U2 - 10.1109/ICITST.2009.5402514

DO - 10.1109/ICITST.2009.5402514

M3 - Conference contribution

SN - 978-1-4244-5647-5

SP - 1

EP - 6

BT - Internet Technology and Secured Transactions, 2009. ICITST 2009. International Conference for

ER -

Untraceability in the applied pi-calculus

Abstract

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this