Séminaires
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
Abstract: 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.