4. Modélisation
Pour décrire les protocoles, nous avons jusqu’ici utilisé une représentation intuitive. Cette présentation est en fait très ambiguë car seul le déroulement normal du protocole est décrit. Pour le protocole de Needham-Schroeder, on ne sait pas si le deuxième agent teste si le nonce reçu est bien un nonce, ce qu’il fait si le message n’est pas de la forme attendue ni surtout ce qu’est exactement la « forme attendue » par l’agent.
L’étude des protocoles cryptographiques commence donc par une première étape de modélisation. Depuis quatre années environ, de nombreux modèles dédiés aux protocoles se sont développés. Le modèle choisi ici est basé sur un système de déduction.
4.1 Hypothèse du chiffrement parfait
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Modélisation
Résultats et limites
Références bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Mathématiques"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
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.
