8481 articles  [english version]

inria-00072738, version 1

On the Reachability Problem in Cryptographic Protocols

Roberto M. Amadio 1, Denis Lugiez 1

N° RR-3915 (2000)

Résumé : We study the verification of secrecy and authenticity properties for cryptogra- phic protocols which rely on symmetric shared keys. The verification can be reduced to check whether a certain parallel program which models the protocol and the specification can reach an erroneous state while interacting with the environment. Assuming finite principals, we present a simple decision procedure for the reachability problem which is based on a symbolic' reduction system.

  • 1 :  MIMOSA (INRIA Sophia Antipolis)
  • INRIA – Université de Provence - Aix-Marseille I – MINES ParisTech - École nationale supérieure des mines de Paris
  • Domaine : Informatique/Autre
  • Mots-clés : CRYPTOGRAPHIC PROTOCOLS – VERIFICATION – SYMBOLIC COMPUTATION
  • Référence interne : RR-3915
 
  • inria-00072738, version 1
  • http://hal.inria.fr/inria-00072738
  • oai:hal.inria.fr:inria-00072738
  • Contributeur : Rapport De Recherche Inria <>
  • Soumis le : Mercredi 24 Mai 2006, 10:46:05
  • Dernière modification le : Mardi 18 Novembre 2008, 16:16:45