![](/images/graphics-bg.png)
Inductive Method for Evaluating RFID Security Protocols
المؤلفون المشاركون
Liu, Defu
Huang, Yong
Wu, Jinzhao
Yang, Guowu
المصدر
Wireless Communications and Mobile Computing
العدد
المجلد 2019، العدد 2019 (31 ديسمبر/كانون الأول 2019)، ص ص. 1-8، 8ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2019-04-11
دولة النشر
مصر
عدد الصفحات
8
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1212022
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)