Action Concertée Incitative CRYPTOLOGIE
Appel à propositions 2002 
 
Déclaration d'intention de candidature
A envoyer avant le 7 janvier 2002 à
aci.crypto@ens.fr 
avec copie à maryse.lagreve@recherche.gouv.fr

Le nom du document devra impérativement se présenter sous la forme
“ crypto2002-DI-nom.prénom ”
(Le nom et le prénom à indiquer sont ceux du coordinateur du projet)

 
Nom du Projet : (maximum 20 caractères) PSI-Robuste	
~
Nom du Coordinateur du Projet : Jean GOUBAULT-LARRECQ
~
Titre du Projet : (maximum 3 lignes) Protection des systèmes d'information : analyse statique de la robustesse des moyens cryptographiques et défense dynamique par techniques modernes de détection d'intrusions.
~
~
 	
~
Description courte du Projet : (maximum 10 lignes, en termes accessibles aux non-spécialistes)
   Constituer un fond de techniques permettant d'assurer des garanties de robustesse des mécanismes sécuritaires des systèmes d'information. Si les mécanismes à base de cryptographie, gérant l'authentification forte, notamment, sont sur le point d'être uniformément répandus, leur réalisation et leur intégration est loin d'offrir toutes les garanties de fiabilité. Ce projet est conçu autour d'un axe visant à garantir formellement la robustesse de la chaîne de sécurité des systèmes d'information, par des moyens tant théoriques : nouveaux modèles de sécurité et relations logiques (un outil venant du lambda-calcul), vérification automatique de protocoles cryptographiques par automates d'arbres; que pratiques : analyse statique de code afin de détecter les failles de sécurité cachées dans les programmes, détection d'intrusions efficace par techniques de model-checking adaptées.
   Il s'agit d'une action de cristallisation, fédérant et stimulant une équipe naissante sur ces thèmes autour du coordinateur.