Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Quantitative Analysis for Authentication of Low-cost RFID Tags   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.

20
The categories of this paper are: acc-phys
2
The categories of this paper are: math
19
The categories of this paper are: eess
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th