CARI'98

Bas

Séminaire de formation «Sécurité Informatique»
associé à la Conférence CARI'98 parrainée par le CIMPA.

Objectif :

La conception et l'évolution rapides de nouveaux services sur le réseau Internet posent de façon cruciale des problème de sécurité, notamment lorsqu'il s'agit de commerce électronique. Le séminaire de formation fournit une présentation concrète de ces différents problèmes, les solutions actuelles y remédiant ainsi que les voies de recherche actuellement poursuivies. On abordera les thèmes de la sécurité des systèmes ouverts, la fiabilité et la sécurité des communications, la fiabilité des protocoles cryptographiques, en insistant notamment sur le commerce électronique.

Langue de travail :

Français et Anglais. Les exposés auront lieu en Français.

Date et lieu :

12-15 octobre 1998, Dakar, Sénégal.

Programme provisoire :

• Sécurité des systèmes ouverts.Yves Devillers (EUnet, France)
• Cryptologie pour la sécurité des communications.Daniel Augot et Anne Canteaut (INRIA-Rocquencourt, France)
• Typage et sécurité du code mobile. Michel Mauny (INRIA-Rocquencourt, France)
• La conception des protocoles de sécurité. Martin Abadi (Digital Equipment Corporation, Systems Research Center, USA)
• Vérification formelle de protocoles de commerce électronique et d'architectures de sécurité. Dominique Bolignano (Bull-Dyade, France)

  Début

Pour toute remarque, écrivez à cimpa@unice.fr
Copyright © 1999 [CIMPA]. Tous droits réservés.
Révision : jeudi 25 août 2005.