Inductive Method for Evaluating RFID Security Protocols
Joint Authors
Liu, Defu
Huang, Yong
Wu, Jinzhao
Yang, Guowu
Source
Wireless Communications and Mobile Computing
Issue
Vol. 2019, Issue 2019 (31 Dec. 2019), pp.1-8, 8 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2019-04-11
Country of Publication
Egypt
No. of Pages
8
Main Subjects
Information Technology and Computer Science
Abstract EN
Authentication protocol verification is a difficult problem.
The problem of “state space explosion” has always been inevitable in the field of verification.
Using inductive characteristics, we combine mathematical induction and model detection technology to solve the problem of “state space explosion” in verifying the OSK protocol and VOSK protocol of RFID system.
In this paper, the security and privacy of protocols in RFID systems are studied and analysed to verify the effectiveness of the combination of mathematical induction and model detection.
We design a (r,s,t)-security experiment on the basis of privacy experiments in the RFID system according to the IND-CPA security standard in cryptography, using mathematical induction to validate the OSK protocol and VOSK protocol.
Finally, the following conclusions are presented.
The OSK protocol cannot resist denial of service attacks or replay attacks.
The VOSK protocol cannot resist denial of service attacks but can resist replay attacks.
When there is no limit on communication, the OSK protocol and VOSK protocol possess (r,s,t)-privacy; that is to say they can resist denial of service attacks.
American Psychological Association (APA)
Liu, Defu& Yang, Guowu& Huang, Yong& Wu, Jinzhao. 2019. Inductive Method for Evaluating RFID Security Protocols. Wireless Communications and Mobile Computing،Vol. 2019, no. 2019, pp.1-8.
https://search.emarefa.net/detail/BIM-1212022
Modern Language Association (MLA)
Liu, Defu…[et al.]. Inductive Method for Evaluating RFID Security Protocols. Wireless Communications and Mobile Computing No. 2019 (2019), pp.1-8.
https://search.emarefa.net/detail/BIM-1212022
American Medical Association (AMA)
Liu, Defu& Yang, Guowu& Huang, Yong& Wu, Jinzhao. Inductive Method for Evaluating RFID Security Protocols. Wireless Communications and Mobile Computing. 2019. Vol. 2019, no. 2019, pp.1-8.
https://search.emarefa.net/detail/BIM-1212022
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1212022