Journée du 2 Octobre 2009

Rubriques
Travaux en commun
Publications
Info. pratiques
Contacts
Séminaires
Le prochain

21/05/2010
05/03/2010
22/01/2010

04/12/2009
13/11/2009
02/10/2009
05/06/2009
03/04/2009
06/03/2009
23/01/2009

05/12/2008
14/11/2008
10/10/2008
30/05/2008
11/04/2008
21/03/2008
15/02/2008

Séminaires 2007

Séminaires 2006

Séminaires 2005


mod. 08-Jui-2010

Lieu

LACL, la salle des thèses, bâtiment P2, niveau dalle: comment y aller

Programme

14h00-15h00: Raymond Devillers (Université Libre de Bruxelles), Sur des stratégies locales de contrôle de famine

transparentsAbstract: les stratégies locale de contrôle de famine de Courtois, bien qu'intéressantes, ne s'appliquent qu'au problème des philosophes et présentent quelques difficultés d'implantation; nous allons voir comment, très simplement, contourner ces difficultés tout en gagnant en souplesse.

15h00-15h30 : Roland Bouroulet (LACL), Vérification de propriétés de protocoles de sécurité

Abstract: Dans cet exposé sera présentée une méthode de vérification de propriétés de protocoles de sécurité. Elle s'appuie tout d'abord sur une spécification basée sur la notion de rôle et le langage SPL. Cette spécification est ensuite traduite en réseau de Petri de haut-niveau en utilisant les S-nets, une classe de réseaux composables dédié à la sécurité. Enfin la propriété est vérifiée sur le réseau obtenu par des techniques de model-checking.

15h30-16h00: pause café

16h00-16h30: vie du groupe