Vérification automatique de protocoles cryptographiques avec CASRUL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2001

Vérification automatique de protocoles cryptographiques avec CASRUL

Abstract

Les protocoles cryptographiques sont utilisés pour protéger l'accès aux systèmes informatiques et les transactions sur les réseaux. l'expérience a montré que la conception de tels protocoles est souvent erronée, meme en admettant que la cryptographie est parfaite, autrement dit qu'un message codé ne peut se décrypter sans la clé. Un environnement hostile peut intercepter, analyser et modifier les messages échangés. Si le protocole est mal concu, l'adversaire peut sans cryptanalyse mais en choisissant convenablement les substituts de messages obtenir des informations secrètes. La possibilité de telles attaques est difficile à déterminer car le nombre de sessions de protocoles et le nombre de messages possibles a priori est infini. Néanmoins par une analyse formelle et des outils automatiques comme CASRUL, qui est l'objet de notre exposé, il est possible de révéler ces failles.

Domains

Other [cs.OH]
No file

Dates and versions

inria-00100559 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00100559 , version 1

Cite

Michaël Rusinowitch. Vérification automatique de protocoles cryptographiques avec CASRUL. Journées Systèmes et Logiciels Critiques, 2001, Grenoble, France. ⟨inria-00100559⟩
60 View
0 Download

Share

Gmail Facebook X LinkedIn More