Algorithmes BSP pour la vérification des protocoles de sécurité des modèles LTL et CTL

BSP algorithms for LTL & CTL model checking of security protocols

• Auteur / Autrice : Michaël Guedj
• Direction : Gaétan Hains, Frédéric Gava
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 11/10/2012
• Etablissement(s) : Paris Est
• Ecole(s) doctorale(s) : École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015)
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'algorithmique, complexité et logique (Créteil) - Laboratoire d'Algorithmique Complexité et Logique / LACL
• Jury : Président / Présidente : Catalin Dima
• Jury : Examinateurs / Examinatrices : Jean-François Pradat-Peyre, Frédéric Loulergue, Franck Pommereau, Laure Petrucci, Hanna Klaudel
• Jury : Rapporteurs / Rapporteuses : Jean-François Pradat-Peyre, Frédéric Loulergue

Mots clés

Mots clés contrôlés

Protocoles de réseaux d'ordinateurs

Informatique

Algorithmes

Mots clés libres

Informatique

Protocoles

Algorithmes

Computing

Protocols

Algorithms

Résumé

Dans un monde fortement dépendant de la communication de données distribuées, la conception d’infrastructures sécurisées est une tâche cruciale. Les systèmes et réseaux distribués prennent de plus en plus d’importance, car la plupart des services et des possibilités qui caractérisent la société moderne sont basés sur ces technologies.La communication entre les agents sur les réseaux a donc suscité un grand intérêt pour la recherche. Afin de fournir des moyens de communication efficaces et fiables, de plus en plus de protocoles de communication sont inventés, et pour la plupart d’entre eux, la sécurité est un objectif important

In a world strongly dependent on distributed data communication, the design of secure infrastructures is a crucial task. Distributed systems and networks are becoming increasingly important, as most of the services and opportunities that characterise the modern society are based on these technologies. Communication among agents over networks has therefore acquired a great deal of research interest. In order to provide effective and reliable means of communication, more and more communication protocols are invented, and for most of them, security is a significant goal