低成本 RFID 标签认证的定量分析
网络与互联网体系结构
2016-11-17 v1
摘要
形式化分析技术如今被广泛用于验证和分析通信协议。在这项工作中，我们对 Song 和 Mitchell 提出的低成本射频识别 (RFID) 协议进行了定量验证分析。该分析利用著名的 PRISM 模型检测器，采用离散时间马尔可夫链 (DTMC) 方法。我们成功模拟了多达 100 个 RFID 标签与一个读写器通信的场景，并根据协议的计算和传输成本要求量化了每个 RFID 会话。因此，所提出的分析不仅提供了定量验证结果，还为 RFID 设计人员提供了一种方法，使其能够在特定成本要求下验证其产品。
引用
@article{arxiv.1112.1086,
title = {Quantitative Analysis for Authentication of Low-cost RFID Tags},
author = {Ioannis Paparrizos and Stylianos Basagiannis and Sophia Petridou},
journal= {arXiv preprint arXiv:1112.1086},
year = {2016}
}
备注
To appear in the 36th IEEE Conference on Local Computer Networks (LCN 2011)