CLASSIFICATION, FORMALIZATION AND AUTOMATIC VERIFICATION OF UNTRACEABILITY IN RFID PROTOCOLS

TL;DRAbstract

Resume Les protocoles securite RFID sont des sous-ensembles des protocoles cryptographiques mais avec des fonctions cryptographiques legeres. Leur objectif principal est l'identification a l'egard de certaines proprietes de intimite comme la non-tracabilite et la confidentialite de l'avant. La intimite est un point essentielle de la societe d'aujourd'hui. Un protocole d'identification RFID devrait non seulement permettre a un lecteur legitime d'authentifier un tag, mais il faut aussi proteger la intimite du tag. Des failles de securite ont ete decouvertes dans la plupart de ces protocoles, en depit de la quantite considerable de temps et d'efforts requis pour la conception et la mise en œuvre de protocoles cryptographiques. La responsabilite de la verification adequate devient cruciale. Les methodes formelles peuvent jouer un role essentiel dans le developpement de protocoles de securite fiables. Les systemes critiques qui necessitent une haute fiabilite tels que les protocoles de se

Chat with Paper

AI Agents for this Paper