CCIS Seminar - Tuesday 8 June 2010 - CTL
15:00:00 - Salle de CTL

Yannick Chevalier, IRIT équipe LILAC

Equivalence de trace pour les processus cryptographiques

Résumé : L'étude de propriétés fines des protocoles cryptographiques, telles que l'anonymat ou la non-répudiation, demande la vérification d'une propriété d'équivalence observationnelle entre deux instances d'un protocole ou entre deux protocoles différents. Pour les processus finis, cette propriété se ramène à l'étude de l'équivalence des traces de deux processus pour un observateur. Lorsque l'intrus ne peut pas intervenir dans les échanges de messages entre participants honnêtes, cette équivalence est appelée équivalence statique, et a été amplement étudiée. Je présenterai une procédure décidant l'équivalence observationnelle des traces de deux processus cryptographiques lorsque l'intrus peut intervenir durant la phase de communication entre participants honnêtes.

CHANGEMENT D'HORAIRE


Home page CCIS Seminars
How to come to CTL - http://www-verimag.imag.fr/~async/reachus.php