Inde 2005

INDE 2005

(English version of this page)

Rapport(s) scientifique(s)	Michel Waldschmidt (pdf)
Notes de cours et liens intéressants

Accueil
Remonter
Algérie 2005
Inde 2005
Iran 2005
Jordanie 2005
Mauritanie 2005
Philippines 2005
Tunisie 2005
Turquie 2005

Bas

Ecole CIMPA-UNESCO-INDE

Sécurité des Systèmes Informatiques et des Réseaux

Objectifs :

La sécurité informatique est aujourd’hui reconnue comme une préoccupation fondamentale pour de nombreux secteurs de la vie économique, en plus bien sûr des préoccupations traditionnelles de confidentialité des diplomates, des militaires, et des services de sécurité en général. Ce domaine nécessite l’utilisation de mathématiques diverses, notamment au niveau de la cryptologie, mais aussi au niveau de la modélisation formelle des protocoles et des méthodes formelles en général. L’Inde possède déjà des spécialistes de ces disciplines, mais a l’ambition de développer un programme de formation ambitieux dans le domaine de la sécurité informatique.

Coordinateur :

Jean-Jacques Lévy (INRIA-Rocquencourt, France), Gopinath (IISc, India)

Langue de travail :

Anglais

Date et lieu :

25 janvier - 4 février 2005, Bangalore (Inde)

Programme scientifique et conférenciers :

Modèle de la Concurrence : J-J Lévy (INRIA, France)
Vérification automatique de protocoles cryptographiques : H. Comon-Lundh (ENS Cachan, France)
Vérification de protocoles de sécurité dans le pi-calcul : C. Fournet (Microsoft Cambridge, UK)
Cryptosystèmes à clé publique : F. Morain (Ecole Polytechnique, France)
Démonstrations de systèmes cryptographiques C. Palamidessi (INRIA, France)
Systèmes de type pour l'analyse de flots : F. Pottier (INRIA, France)
Sécurité des services Web : K. Bhargavan (Microsoft Cambridge, UK)
Sécurité dans les systèmes d'exploitation : Gopinath (IISc, India)
Primitives cryptographiques :V. Madhavan (IISc, India)
Théories décidables pour la vérification des protocoles de sécurité: Ramanujan (IMSc, India)
Protocoles pour l'authentification et l'établissement de clés : A. Mathuria (DA-IICT, India)
Modélisation des protocoles de sécurité : S. Prasad (IIT, India)

Participants Informations utiles

Prérequis :

Chercheurs ou ingénieurs de haut niveau ayant de bonnes connaissances fondamentales en informatique

Haut