| Titre : | Protocoles cryptographies : analyse par méthodes formelles (2007) |
| Auteurs : | Cortier, Véronique, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Techniques de l'ingénieur AFM (Vol. AFM2, Trimestriel) |
| Article en page(s) : | 1-8 p. |
| Note générale : | Mathématiques pour l'ingénieur |
| Langues : | Français |
| Tags : | 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/mathematiques-fondamentales-algebre-et-geometrie-42104210/protocoles-cryptographiques-analyse-par-methodes-formelles-af176/ |
