Séminaire du 2 Octobre 2009

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