BSP algorithms for LTL & CTL model checking of security protocols

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

Michaël Guedj (1)

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

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

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

Mots clés: Computing; Protocols; Algorithms

Mots clés: Informatique; Protocoles; Algorithmes

Domaines: Algorithme et structure de données [cs.DS]

Michaël Guedj. BSP algorithms for LTL & CTL model checking of security protocols. Data Structures and Algorithms [cs.DS]. Université Paris-Est, 2012. English. ⟨NNT : 2012PEST1081⟩. ⟨tel-02886475⟩