Provably Secure Ubiquitous Systems: Universally Composable RFID Authentication Protocols

Burmester, Mike; Le, Tri Van; Medeiros, Breno de

doi:10.1109/seccomw.2006.359563

Cited by 79 publications

(89 citation statements)

References 24 publications

(25 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Burmester, Le, and de Medeiros proposed in [7] a new low-overhead protocol, called O-TRAP (Optimistic Trivial RFID Authentication Protocol). Like other protocols surveyed in this section, O-TRAP relies on the use of PRNG primitives in tags and some other simple bitwise operations.…”

Section: Low-overhead and Ultra-lightweight Solutionsmentioning

confidence: 99%

Security Threat Mitigation Trends in Low-Cost RFID Systems

García-Alfaro

Barbeau

Kranakis

2010

Data Privacy Management and Autonomous Spontaneous Security

View full text Add to dashboard Cite

Abstract. The design and implementation of security threat mitigation mechanisms in RFID systems, specially in low-cost RFID tags, are gaining great attention in both industry and academia. One main focus of research interests is the authentication and privacy techniques to prevent attacks targeting the insecure wireless channel of these systems. Cryptography is a key tool to address these threats. Nevertheless, strong hardware constraints, such as production costs, power consumption, time of response, and regulations compliance, makes the use of traditional cryptography in these systems a very challenging problem. The use of low-overhead procedures becomes the main approach to solve these challenging problems where traditional cryptography cannot fit. Recent results and trends, with an emphasis on lightweight techniques for addressing critical threats against low-cost RFID systems, are surveyed.

show abstract

Section: Low-overhead and Ultra-lightweight Solutionsmentioning

confidence: 99%

Security Threat Mitigation Trends in Low-Cost RFID Systems

García-Alfaro

Barbeau

Kranakis

2010

Data Privacy Management and Autonomous Spontaneous Security

View full text Add to dashboard Cite

show abstract

“…For a minimalist approach one should aim for two passes. O-TRAP is an RFID one-way authentication protocol that was proposed in [2]. Each tag stores two values: a pre-shared, private, long-term key k_tag, and a volatile identifying pseudonym r_tag which is updated each time the tag is challenged.…”

Section: Iso 9798-2 [1]mentioning

confidence: 99%

Secured RFID Mutual Authentication Scheme for Mifare Systems

Huang¹

2012

IJNSA

View full text Add to dashboard Cite

show abstract

“…Avoine et al in [4] were the firsts to give a formal definition of untraceability. Some other attempts to formalize untraceability then followed [3,8,16,19]. All this work however is carried out in the computational model, which is poorly supported by automatic tools.…”

Section: Introductionmentioning

confidence: 99%

Untraceability in the applied pi-calculus

Arapinis

Chothia

Ritter

et al. 2009

2009 International Conference for Internet Technology and Secured Transactions, (ICITST)

View full text Add to dashboard Cite

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.

show abstract

Provably Secure Ubiquitous Systems: Universally Composable RFID Authentication Protocols

Abstract: Abstract

Cited by 79 publications

References 24 publications

Security Threat Mitigation Trends in Low-Cost RFID Systems

Security Threat Mitigation Trends in Low-Cost RFID Systems

Secured RFID Mutual Authentication Scheme for Mifare Systems

Untraceability in the applied pi-calculus

Contact Info

Product

Resources

About