BIBLIOGRAPHIE
-
(1) -
ASOKAN (N.), SHOUP (V.), WAIDNER (M.) -
Optimistic fair exchange of digital signatures.
-
In Advances in Cryptology – Eurocrypt ’98, vol. 1403 of LNCS, p. 591-606 (1998).
-
(2) -
BELLARE (M.), DESAI (A.), POINTCHEVAL (D.), ROGAWAY (P.) -
Relations among notions of security for public-key encryption schemes.
-
In Crypto ’98 : Proc. of the 18th Annual International Cryptology Conference on Advances in Cryptology, vol. 1462 of LNCS, p. 26-45. Springer-Verlag (1998).
-
(3) -
BURROWS (M.), ABADI (M.), NEEDHAM (R.) -
A logic of authentication.
-
In Proc. of the Royal Society, vol. 426 of Series A, p. 233-271 (1989).
-
(4) -
CLARK (J.) , JACOB (J.) -
A survey of authentication protocol literature.
-
http://www.cs.york.ac.uk/jac/papers/drareviewps.ps (1997).
-
(5) -
CORTIER (V.) -
Vérification automatique des protocoles cryptographiques.
-
PhD thesis, École normale supérieure de Cachan, France, mars 2003.
-
...
1 Quelques thèses récentes
WARINSCHI (B.) - On the computational soudness of formal analysis of cryptographic protocols. - University of California San Diego (2004).
VANACKÈRE (V.) - Trust : un système de vérification automatique de protocoles cryptographiques. - Informatique. Université Aix-Marseille (2004).
LAZAR (L.) - Méthodes algorithmiques de vérification des protocoles cryptographiques. - Université Joseph Fourier Grenoble (2004).
CORTIER (V.) - Vérification automatique des protocoles cryptographiques. - École normale supérieure de Cachan (2003).
ROGER (M.) - Raffinements de la résolution et vérification de protocoles cryptographiques. - ENS Cachan (2003).
TURUANI (M.) - Sécurité des protocoles cryptographiques : décidabilité et complexité. - Université Henri Poincaré. Nancy I (2003).
CHEVALIER (Y.) - Résolution de problèmes d’accessibilité pour la compilation et la validation de protocoles cryptographiques. - Université Henri Poincaré. Nancy I (2003).
RAYNAL (F.) - Études d’outils pour la dissimulation d’information : approches fatales, protocoles d’évaluation et protocoles cryptographiques. - Université Paris Sud (2002).
HAUT DE PAGE
2 Sites Internet
Plate-forme d'outils AVISPA
http://www.avispa-project.org/
Plate-forme d'outils EVA
http://www-eva.imag.fr/
Présentation du projet PROUVÉ
http://www.lsv.ens-cachan.fr/prouve/
Présentation...
La lecture complète de cet article et le téléchargement du PDF sont réservés aux abonnés
Vous êtes abonné à cette offre ?
Connectez-vous !
Pour accéder à l'intégralité du contenu inscrivez-vous :
Vous souhaitez découvrir cette offre ?
Cet article est inclus dans l'offre :
MATHÉMATIQUES