A novel grouping proof authentication protocol for lightweight devices:GPAPXR+
TL;DR: A new grouping proof authentication protocol for lightweight devices, implemented on wireless identification and sensing platform passive RFID tag, uses embedded advanced encryption standard encryption method to encrypt transmitted data.
read more
Abstract: Radio frequency identification (RFID) tags that meet EPC Gen2 standards are used in many fields such as supply chain operations. The number of the RFID tags, smart cards, wireless sensor nodes, and Internet of things devices is increasing day by day and the areas where they are used are expanding. These devices are very limited in terms of the resources they have. For this reason, many security mechanisms developed for existing computer systems cannot be used for these devices. In order to ensure secure communication, it is necessary to provide authentication process between these lightweight devices and the devices they communicate. The authentication process is the first step that allows the parties to trust each other for communication. Moreover, the authentication protocol should allow simultaneous verification of multiple lightweight devices. Therefore, grouping proof authentication protocol is required. In this study, a new grouping proof authentication protocol is developed for lightweight devices. The proposed protocol implemented on wireless identification and sensing platform passive RFID tag, uses embedded advanced encryption standard encryption method to encrypt transmitted data. Security of the protocol was first evaluated and verified theoretically, then by a tool used for automatic verification of security protocols, called Scyther tool.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
CoMAD: Context-Aware Mutual Authentication Protocol for Drone Networks
TL;DR: In this article, a context-aware mutual authentication protocol for drone swarms is proposed, which provides authentication for groups of drones and supports recovering a swarm in case of network separation.
ECAUT: ECC-infused efficient authentication for internet of things systems based on zero-knowledge proof
M. Prakash,K. Ramesh +1 more
2
Tamper Resistance Functions on Internet of Things Devices
Cem Kosemen,Gokhan Dalkilic +1 more
- 06 Oct 2021
TL;DR: In this article, a case study of ESP32-S2 device is used for experimental case study for its robust built-in trusted platform module, which offers a solution to these security problems, are explained and tested in detail.
1
Design and implementation of a cryptographic algorithm based on the AES advanced encryption standard for UHF RFID systems
Sanae Habibi,Zahra Sahel,Abdelhak Bendali,Abid-Reda El Wardi,Samia Zarrik,Mouad El Kobbi,Nazha Cherkaoui,Abdelkader Hadjoudja +7 more
TL;DR: A cryptographic algorithm based on AES is proposed for UHF RFID systems, incorporating random key generation and data randomization for enhanced security, optimized for low hardware resource consumption and fast execution speed.
References
On the security of public key protocols
Danny Dolev,Andrew Chi-Chih Yao +1 more
TL;DR: Several models are formulated in which the security of protocols can be discussed precisely, and algorithms and characterizations that can be used to determine protocol security in these models are given.
A Statistical Test Suite for Random and Pseudorandom Number Generators for Cryptographic Applications
Andrew L. Rukhin,Juan Soto,James R. Nechvatal,Miles E. Smid,Elaine B. Barker +4 more
- 20 Dec 2000
TL;DR: Some criteria for characterizing and selecting appropriate generators and some recommended statistical tests are provided, as a first step in determining whether or not a generator is suitable for a particular cryptographic application.
The LED block cipher
Jian Guo,Thomas Peyrin,Axel Poschmann,Matthew Robshaw +3 more
- 28 Sep 2011
TL;DR: This work considers the resistance of ciphers, and LED in particular, to related-key attacks, and is able to derive simple yet interesting AES-like security proofs for LED regarding related- or single- key attacks.
KATAN and KTANTAN -- A Family of Small and Efficient Hardware-Oriented Block Ciphers
Christophe De Cannière,Orr Dunkelman,Miroslav Knežević +2 more
- 30 Aug 2009
TL;DR: A new family of very efficient hardware oriented block ciphers divided into two flavors, which is more compact in hardware, as the key is burnt into the device (and cannot be changed), and achieves encryption speed of 12.5 KBit/sec.
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
Cas Cremers
- 07 Jul 2008
TL;DR: The most effective approach so far has been automated falsification or verification of such protocols with state-of-the-art tools such as ProVerif or the Avispa tools, which have shown to be effective at finding attacks on protocols or establishing correctness of protocols.
Related Papers (5)
Debsmita Ghosh,Celia Li,Cungang Yang +2 more
- 01 Jan 2018
Ying Li,Liping Du,Guifen Zhao,Jianwei Guo +3 more
- 14 Nov 2013