Master de sciences et technologies mention : informatique

Réalisations du responsable dans le domaine de l’UE

• 
  Cours et travaux de recherche sur les théories des types (Déduction modulo, Logique d'ordre supérieur)
  
• 
  Spécification de l'atelier Focal dans le langage des Constructions et par un modèle catégorique de la théorie des types dépendants
  

Acronyme : secur	Spécialité : RES	3 ECTS	Niveau : 500	Semestre : S3
Titre : Sécurité dans les réseaux
Responsable : Michel RIGUIDEL		Répartition hebdomadaire ou semestrielle
		(30h/7 semaines)
Contenu La sécurité des systèmes et des réseaux devient plus critique et plus complexe. Elle concerne des techniques aussi variées que l'authentification, le tatouage, la stéganographie, la cryptographie mais déborde également vers des architectures de sécurité, des techniques de protection contre le déni de service, la vérification. L'évolution actuelle vers des systèmes largement connectés et ouverts demandent l'apprentissage et la maîtrise des menaces et des solutions de base.Ce module a pour objectif de donner une vision globale et cohérente de la sécurité des réseaux et des systèmes d’information. Il introduit les enjeux, les concepts, les technologies les plus à jour en sécurité. Il permet de se familiariser avec le vocabulaire, les standards et les technologies du domaine. Il présente les limites des approches actuelles et l’état des recherches en cours en sécurité. Ce cours permet d’acquérir les connaissances de base nécessaire à une première appréhension de la sécurité moderne.
Expérience du responsable dans le domaine de l’UE Michel RIGUIDEL est Professeur et Directeur du Département Informatique et Réseaux à l’ENST (www.enst.fr). Il enseigne la sécurité numérique et les réseaux de nouvelle génération. Il est membre du bureau exécutif du RNRT, responsable du Comité d’Experts en Sécurité du CNRS, membre du Comité scientifique de l’ARA sécurité de l’ANR, membre du Conseil d’Evaluation du métier Télécommunications à la DGA.
Réalisations du responsable dans le domaine de l’UE Riguidel M., (2004), Le téléphone de demain, Paris, France, La Cité des Sciences. Riguidel M., (2004), La sécurité à l'ère numérique, Paris, France, Les cahiers du numérique, Volume 4, n°34, ISBN 2746209071, Edition Hermès LAVOISIER. Naqvi S. et Riguidel M., (2005), "Security Architecture for Health Grid using Ambient Intelligence", Methods of Information in Medicine (MIM), Vol. 44, N. ISSN 00261270, pp. 2022-06. Naqvi S., Riguidel M., 'Grid Security Vulnerabilities - Magnet for Attacks', Hakin9 Hardcore IT Security Magazine, to be published. Riguidel M., Bellot P., Nguyen T. L. Tam, Dang M. Dung, Le Q. Cuong et Nguyen T. Mai, (2004), "Enhancement of AGT Telecommunication Security using Quantum Cryptography", in Eurocontrol Innovative Research Annual Report 2004, Paris, France, European Organisation for the Safety of Air Navigation (Eurocontrol).

Acronyme : sf1	Spécialité : STL	3 ECTS	Niveau : 500	Semestre : S4
Titre : Sûreté de fonctionnement 1
Responsable : Thérèse HARDIN		Répartition hebdomadaire ou semestrielle
		(30h/7 semaines)
Contenu Cette UE présente d'abord la problématique de la sûreté. Sont ensuite étudiées les méthodes générales de mise en oeuvre de la sûreté dans les systèmes à logiciel prépondérant puis leurs déclinaisons au cours des différentes étapes du cycle de vie du logiciel. Il est prévu l'intervention de partenaires industriels présentant la problématique sûreté de leur métier. Pour avoir une bonne connaissance de la sûreté de fonctionnement, cette unité doit être complétée par l'UE SF2.
Expérience du responsable dans le domaine de l’UE Quelques thèmes de recherche de T. Hardin, accompagnés de quelques publications: Compilation et sémantique ( Hardin, Properties of CCL, TCS, 1989, Explicit substitutions properties, Curien, Hardin, Lévy, JACM 1996, Hardin,Maranget, Pagano,Functional runtime systems, J. of Functional Programming, 1998,T. Hardin, Mammass,Proving the Bounded Retransmission Protocol in the Pi-calculus, NFINITY'98 ). Logique et démonstration automatique (Dowek,Hardin,Kirchner, Higher-order unification via explicit substitutions, Information and Computation,2000; Theorem Proving modulo, Journal of Automated Reasoning,2003). Responsable du projet FOCAL, atelier de développement de systèmes répondant aux besoins élevés de sûreté et de sécurité (Dubois,Hardin, Viguié, Building certified components within FOCAL,Trends in Functional Programming,2004; DBUFR_URL_IMAGE utilisé dans 3 ACI Sécurité (Modulogic, Edemoi, Alidecs). Sûreté de fonctionnement (P. Ayrault, T. Hardin, Développement d'un outil d'évaluation de la sûreté du logiciel, JFLA2000, Hardin, Logiciels de confiance, JFLA2002). Quelques thèmes d'enseignement de T. Hardin, correspondant à des cours de niveaux L et M: Programmation (Hardin , V. Viguié-Donzeau, Concepts et outils de programmation, avec Caml et Ada, InterEditions1992), Lambda-calculs, Théorie des types, Réécriture, Sémantiques, démonstration automatique, Sûreté de fonctionnement (Normes, méthodes de mise en oeuvre, méthodes d'évaluation), accent mis sur tous les aspects liés au logiciel embarqué, en particulier sur les méthodes formelles.