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

Public ISBD [article]  inTechniques 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/ [...]

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire