Vérifier automatiquement les protocoles de sécurité : Un peu de cryptographie

Un peu de cryptographie
Vérifier automatiquement les protocoles de sécurité

Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HÉAM, Olga KOUCHNARENKO

Date de publication : 10 octobre 2007 | Read in english

Ajouter à la bibliothèque

2. Un peu de cryptographie

Sur la cryptographie :

Cryptographie appliquée [H 5 210] de P.-A. Fouque

Protocoles cryptographiques : analyse par méthodes formelles

Cet article est réservé aux abonnés

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é ? Se connecter

Lecture en cours
Un peu de cryptographie

(1) - MANICORE (J.-M.) - Bénéfices environnementaux envisageables liés à l'introduction du télétravail - . Ministère de l'Industrie (2001). http://www.manicore.com/documentation/teletravail/OSI_synthese.html

Cet article est réservé aux abonnés

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é ? Se connecter

Article inclus dans l'offre

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

Services

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

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

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