期刊名称：International Journal of Hybrid Information Technology
印刷版ISSN：1738-9968
出版年度：2016
卷号：9
期号：2
页码：1-10
DOI：10.14257/ijhit.2016.9.2.01
出版社：SERSC
摘要：Intraceability is the most important aspect of RFID security. Mobile RFID readers are used more and more widely, the privacy of mobile reader privacy holders should be considered. In this paper, a BRS-based approach for modeling mutual intraceability of mobile RFID systems is provided. Elements in a RFID protocol can be represented as bigraphs, communications between elements can be represented as reaction rules. RFID intraceability can be represented as behavioral congruence. We take a RFID air interface protocol for mobile RFID systems as a case study and show the usability of this approach.
关键词：BRS; Mutual intraceability; Mobile RFID systems
