| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Symbolic verification of distance-bounding protocols : application to payment protocols
Date de publication :
17-11-2020 |
Auteur(s) :
Debant Alexandre |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
L’essor des nouvelles technologies, et en particulier la Communication en Champ Proche (NFC), a permis l’apparition de nouvelles applications. Á ce titre, nous pouvons mentionner le paiement sans contact, les clefs mains libres ou encore les carte d’abonnement dans les transports en commun. Afin de sécuriser l’ensemble de ces applications, des protocoles de sécurité, appelés protocoles délimiteurs...
Référencé le :
09-04-2021
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
