Computer Science – Networking and Internet Architecture
Scientific paper
2011-12-05
Computer Science
Networking and Internet Architecture
To appear in the 36th IEEE Conference on Local Computer Networks (LCN 2011)
Scientific paper
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.
Basagiannis Stylianos
Paparrizos Ioannis
Petridou Sophia
No associations
LandOfFree
Quantitative Analysis for Authentication of Low-cost RFID Tags does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Quantitative Analysis for Authentication of Low-cost RFID Tags, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quantitative Analysis for Authentication of Low-cost RFID Tags will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-379729