Résumé
Les protocoles cryptographiques sont les algorithmes et programmes qui permettent d’établir une communication sécurisée. Ils sont fragiles et sont le principal point d’entrée pour les attaques de sécurité, comme le montreront quelques exemples. Ils sont aussi très difficiles à analyser. La preuve formelle est de plus en plus vue comme le meilleur moyen (voire le seul) d’assurer le bon fonctionnement de ces protocoles. Elle demande souvent la mise en œuvre de techniques très élaborées.
