Présents :

• IRISA (Pascal Fradet, Stéphane Hong Tuan-Ha, Thomas Jensen)
  
• Ecole de Mines de Nantes (Jean-Claude Royer, Sébastien Pavel, Hervé Graal)
  
• Ecole Nationale Supérieure de Télécommunications, Bretagne (Ahmed Bouabdallah, Nora Cuppens, Frédéric Cuppens)
  
• IRIT (Mamoun Filali, Jean-Paul Bodeveix, Julien Brunel)
• David Powell et Laurence Duchien

Présentations

• Hervé Graal : Contrôleur  de  sécurité  : une extension (pdf).
• Sébastien Pavel : (prochainement)
  
• S. Hong Tuan-Ha : ACI Dispo - Aspects de disponibilité (pdf).
  
• Julien Brunel : Logique déontique, logique temporelle, spécification de la disponibilité (pdf).
  
• N. Cuppens : Politique de disponibilité du protocole TCP-IP (pdf).