Appel à Contributions/Participation : SASYFT2004

           "Sécurité des Systèmes: Formalismes et Outils  d'Analyse"  
        (Workshop on Security Analysis of Systems: Formalisms and Tools) 

                    21-22 June 2004, Orléans, France.

Organisé par le LIFO (Laboratoire d'informatique fondamentale d'Orléans)
             http://www.univ-orleans.fr/SCIENCES/LIFO/Events/SASYFT2004/

Comité du Programme : 
   Siva Anantharaman (LIFO, Orléans)
   Paul Gastin (LIAFA, Paris)
   Gaétan Hains (LIFO, Orléans)
   Huimin Lin (Academy of Science, Beijing)
   John Mullins (Ecole Polytechnique, Montréal)
   Michael Rusinowitch (LORIA, Nancy)

Conférenciers Invités : 

   Catherine Meadows (Naval Research Lab, Washington-DC, USA)
   Jean Goubault-Larrecq (ENS, Cachan, France)
   Joseph Sifakis (VERIMAG, Grenoble, France)
   Roberto Amadio (LIF, Marseille, France) 

La sécurité des informations véhiculées par les systèmes informatiques 
modernes est un domaine de recherche d'une grande actualité. L'usage 
intensif d'internet et du commerce électronique présuppose que les  
propriétés de confidentialité, d'authentification, et de disponibilité 
de services sont satisfaites par les protocoles de communication et les 
algorithmes de distribution implantés. Nombreux sont les formalismes et 
les logiciels élaborés à cette fin par les chercheurs de tous bords. 
L'objectif de SASYFT2004 est de leur offrir une occasion de se rencontrer 
pour discuter des développements récents dans les directions de 
recherche concernées, telles que :

- Modélisation de flots d'information sur les systèmes (finis ou infinis) 
- Modélisation et analyse de protocoles cryptographiques  
- Vérification formelle de propriétés de sécurité 
- Etude de cas en analyse de sécurité 
- Incidence du temps-réel et de la mobilité sur la sécurité 
- Modèles formels pour protocoles de commerce électronique
- Logiciels pour l'analyse de securité 

Voici une liste non-exhaustive de formalismes ayant largemrent  contributé 
à de tels developpements: 

- Algèbre de Processus 
- Réseaux de Petri  
- Automates et Grammaires
- Réécriture 
- Raisonnement/Déduction Contraints 
- Preuve de Theorèmes Clausals 
- Lambda-Calcul et extensions
- ....

Une partie des deux journées SASYFT (21-22 juin 2004) sera consacrée à 
la présentation de travaux de jeunes chercheurs français dans ces 
thématiques. Les intéressés sont priés de faire parvenir leurs 
contributions (de préférence en anglais) à l'adresse suivante, AVANT le 
VENDREDI 28 mai 2004 :  

                sasyft2004@lifo.univ-orleans.fr 

Les détails d'ordre pratique (y compris sur le format de soumission) 
sont disponibles à l'url : 

        http://www.univ-orleans.fr/SCIENCES/LIFO/Events/SASYFT2004/