Protocoles cryptographiques
Protocoles cryptographiques : analyse par méthodes formelles

Ajouter à la bibliothèque

AF176 V1 Article de référence

Protocoles cryptographiques
Protocoles cryptographiques : analyse par méthodes formelles

Auteur(s) : Véronique CORTIER

Date de publication : 10 avril 2006 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

1. Protocoles cryptographiques

Avec le développement des réseaux de communication comme Internet et les réseaux de téléphonie mobile, le besoin d’assurer la confidentialité et l’authenticité des messages échangés a considérablement augmenté. Les protocoles cryptographiques sont des règles d’échange entre les points du réseau, dont le rôle est précisément de sécuriser les communications. Ils sont utilisés, par exemple, sur Internet dans le commerce électronique ou l’accès sécurisé à certaines pages web. Ils interviennent également quotidiennement dans les distributeurs de billets, les abonnements aux chaînes de télévision payantes, la téléphonie mobile ou le porte-monnaie électronique.

La description de ces protocoles étant en général très courte, on pourrait penser qu’il est aisé de s’assurer de la fiabilité d’un protocole. Il n’en est rien : de nouvelles attaques sont trouvées régulièrement...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Article inclus dans l'offre

"Mathématiques"

( 228 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Monnaies cryptographiques et blockchains - Créer de la confiance

En 2008, Satoshi Nakamoto définissait un nouveau modèle de monnaies, dont l'émission et la gestion s'opèr...

Créer de la confiance avec les blockchains - Infographie

En 2008 Satoshi Nakamoto définissait un nouveau modèle de monnaies, dont l'émission et la gestion s'opère...

Cryptographie appliquée

La cryptographie est une discipline scientifique à part entière qui utilise des concepts mathématiques et...

Introduction à la sécurité des systèmes d'information (SSI)

La Sécurité des systèmes d'information (SSI) est un domaine extrêmement vaste puisqu'elle fait appel à de...

Tous les livres blancs
Article Blockchain : entre buzz word et réalité
7 mars 2019
Blockchain : entre buzz word et réalité

La Blockchain pourrait « révolutionner » différents secteurs d’activité et en particulier tous les intermédiaires de « confiance ». Mais attention au battage mé...

Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous