Quantitative Analysis for Authentication of Low-cost RFID Tags

Autor:	Paparrizos, Ioannis, Basagiannis, Stylianos, Petridou, Sophia
Rok vydání:	2011
Předmět:	Computer Science - Networking and Internet Architecture
Druh dokumentu:	Working Paper
DOI:	10.1109/LCN.2011.6115307
Popis:	Formal analysis techniques are widely used today in order to verify and analyze communication protocols. In this work, we launch a quantitative verification 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. Comment: To appear in the 36th IEEE Conference on Local Computer Networks (LCN 2011)
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1112.1086 Zobrazit plný text záznamu View this record from Arxiv