Work

1 Quantitative Analysis for Authentication of Low-cost RFID Tags

Year: 2011

Type: preprint

Abstract: Formal analysis techniques are widely used today in order to verify and analyze communication protocols. In this work, we launch a quantitative analysis for the low-cost Radio Frequency Identification (RFID) protocol proposed by Song and Mitchell. The analysis exploits a Discrete-Time Markov Chain (DTMC) using the well-known PRISM model checker. We have managed to represent up to 100 RFID tags communicating with a reader and quantify each RFID session according to the protocol's computation and transmission cost requirements. As a consequence, not only does the proposed analysis provide quantitative verification results, but also it constitutes a methodology for RFID designers who want to validate their products under specific cost requirements.

Authors: Ioannis Paparrizos, Stylianos Basagiannis, Sophia Petridou

Institutions: École Polytechnique Fédérale de Lausanne, Aristotle University of Thessaloniki

Language: English

Topic: RFID technology advancements

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W3098444230

Cites: 17

Cited by: 6

Related to: 10