Réunion 10/05 2005, IRIT
ACI Sécurité Informatique : Projet DISPO (
Disponibilité de services dans des composants logiciels)
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)
Présentations
Hervé Graal : Disponibilité des services et des ressources (
pdf
).
J-C Royer : EMN, Synthèse et perspectives (
pdf
).
S. Hong Tuan-Ha
: Aspects de gestion de ressource pour la disponibilité (
pdf
).
Julien Brunel : Logique deontique pour la spécification du concept de disponibilité (
pdf
).
N. Cuppens : Nomad, Non atomic actions and deadlines (
ppt
).