paper
Quantitative Analysis for Authentication of Low-cost RFID Tags
Ioannis Paparrizos, Stylianos Basagiannis, Sophia Petridou
Quantitative Analysis for Authentication of Low-cost RFID Tags
Ioannis Paparrizos, Stylianos Basagiannis, Sophia Petridou
Paper2011-12-05English
quantitative financearxiv
Description
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 co...
Similar Books
paper
Quantitative mode stability for the wave equation on the Kerr-Newman spacetime
Damon Civin
Quantitative mode stability for the wave equation on the Kerr-Newman spacetime
paper
Risk-Aware Objective-Based Forecasting in Inertia Management
Haipeng Zhang, Ran Li, Yan Chen, Zhongda Chu, Mingyang Sun
Risk-Aware Objective-Based Forecasting in Inertia Management
paper
Chainalysis: Geography of Cryptocurrency 2023
Chainalysis
Chainalysis: Geography of Cryptocurrency 2023
paper
Periodicity in Cryptocurrency Volatility and Liquidity
Peter Reinhard Hansen, Chan Kim, Wade Kimbrough
Periodicity in Cryptocurrency Volatility and Liquidity
paper
Impact of Geometric Uncertainty on the Computation of Abdominal Aortic Aneurysm Wall Strain
Saeideh Sekhavat, Mostafa Jamshidian, Adam Wittek, Karol Miller
Impact of Geometric Uncertainty on the Computation of Abdominal Aortic Aneurysm Wall Strain
paper
Simulation-based Bayesian inference with ameliorative learned summary statistics -- Part I
Getachew K. Befekadu
Simulation-based Bayesian inference with ameliorative learned summary statistics -- Part I