Mon compte
Ma liste - 0
Catalogue
Ressources numériques
Nouveautés
Liens utiles
Mon compte
Recherche rapide
Recherche avancée
Recherche alphabétique
Historique
Information
Recherche
Auteur
Titre
Sujet
Titre de revue
Collection
Cotes BU
Cotes ENSEA
Cotes IUFM
Modifier la recherche
>
CERGY
Elargir la recherche
Parcourir le catalogue
par auteur:
Cortier , Véronique
Affichage MARC
Auteur :
Cortier , Véronique
Titre :
Protocoles cryptographiques : analyse par méthodes formelles , Véronique Cortier
Notes :
Référence de l'article : af176
Volume : base documentaire : TIP052WEB
Publié dans : Techniques de l'ingénieur. Mathématiques
Date de publication : 2006/04/10
Le développement des technologies de communication a considérablement augmenté le besoin de sécuriser les réseaux informatiques. Utilisés notamment lors de transactions commerciales en ligne, les protocoles cryptographiques constituent des règles d'échange basées sur le cryptage des messages. Cet article présente les propriétés de sécurité assurées par ces protocoles cryptographiques, l'approche nécessaire de modélisation et leur analyse à l'aide de méthodes formelles.
URL:
https://www.techniques-ingenieur.fr/base-documentaire/sciences-fondamentales-th8/mathematiques-fondamentales-algebre-42104210/protocoles-cryptographiques-analyse-par-methodes-formelles-af176/
https://doi.org/10.51257/a-v1-af176
Exemplaires
Pas de données exemplaires
Pour toute question,
contactez la bibliothèque
Horizon Information Portal 3.25_france_v1m© 2001-2019
SirsiDynix
Tous droits réservés.