BSP algorithms for LTL & CTL model checking of security protocols
par Michaël Guedj
Thèse de doctorat en Informatique
Sous la direction de Gaétan Hains et de Frédéric Gava.
Soutenue le 11-10-2012
à Paris Est , dans le cadre de École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) , en partenariat avec Laboratoire d'algorithmique, complexité et logique (Créteil) (laboratoire) et de Laboratoire d'Algorithmique Complexité et Logique / LACL (laboratoire) .
Le président du jury était Catalin Dima.
Le jury était composé de Jean-François Pradat-Peyre, Frédéric Loulergue, Franck Pommereau, Laure Petrucci, Hanna Klaudel.
Les rapporteurs étaient Jean-François Pradat-Peyre, Frédéric Loulergue.
- Informatique
- Protocoles
- Algorithmes
- Algorithmes
- Informatique
- Protocoles de réseaux d'ordinateurs
mots clés
-
Titre traduit
Algorithmes BSP pour la vérification des protocoles de sécurité des modèles LTL et CTL
-
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
- Computing
- Protocols
- Algorithms
mots clés
-
Résumé
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
Il est disponible au sein de la bibliothèque de l'établissement de soutenance.
