Catalogue en ligne Bibliothèque Ecole Nationale Polytechnique d'Alger

Les Inscriptions à la Bibliothèque sont ouvertes en ligne via le site: https://biblio.enp.edu.dz

Les Réinscriptions se font à :

• La Bibliothèque Annexe pour les étudiants en 2ème Année CPST

• La Bibliothèque Centrale pour les étudiants en Spécialités

A partir de cette page vous pouvez :

Retourner au premier écran avec les recherches...

Détail de l'auteur

Auteur Cortier, Véronique

Documents disponibles écrits par cet auteur

Affiner la recherche

Protocoles cryptographies / Cortier, Véronique in Techniques de l'ingénieur AFM, Vol. AFM2 (Trimestriel)

Public

ISBD

[article]
in Techniques de l'ingénieur AFM > Vol. AFM2 (Trimestriel) . - 1-8 p.
Titre : Protocoles cryptographies : analyse par méthodes formelles
Type de document : texte imprimé
Auteurs : Cortier, Véronique, Auteur
Année de publication : 2007
Article en page(s) : 1-8 p.
Note générale : Mathématiques pour l'ingénieur
Langues : Français (fre)
Mots-clés : Protocole Cryptographique--Méthodes--formelles--Sécurisation--Réseaux
Résumé : Les protocoles cryptographiques sont de courts programmes d’échange de messages basés sur le cryptage. Ils sont destinés à la sécurisation des réseaux informatiques. Ils sont notoirement difficiles à concevoir et à analyser. L’application de méthodes formelles a désormais fait ses preuves pour la détection de faille et la preuve de sécurité.
Note de contenu : Bbibiogr.
REFERENCE : AF 176
ISSN : 1776-0860
Date : Avril 2006
En ligne : http://www.techniques-ingenieur.fr/base-documentaire/sciences-fondamentales-th8/ [...]

[article] Protocoles cryptographies : analyse par méthodes formelles [texte imprimé] / Cortier, Véronique, Auteur . - 2007 . - 1-8 p.
Mathématiques pour l'ingénieur
Langues : Français (fre)
in Techniques de l'ingénieur AFM > Vol. AFM2 (Trimestriel) . - 1-8 p.
Mots-clés : Protocole Cryptographique--Méthodes--formelles--Sécurisation--Réseaux
Résumé : Les protocoles cryptographiques sont de courts programmes d’échange de messages basés sur le cryptage. Ils sont destinés à la sécurisation des réseaux informatiques. Ils sont notoirement difficiles à concevoir et à analyser. L’application de méthodes formelles a désormais fait ses preuves pour la détection de faille et la preuve de sécurité.
Note de contenu : Bbibiogr.
REFERENCE : AF 176
ISSN : 1776-0860
Date : Avril 2006
En ligne : http://www.techniques-ingenieur.fr/base-documentaire/sciences-fondamentales-th8/ [...]