A BSP Algorithm for the State Space Construction of Security Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

A BSP Algorithm for the State Space Construction of Security Protocols

Résumé

This paper presents a Bulk-Synchronous Parallel (BSP) algorithm to compute the discrete state space of structured models of security protocols. The BSP model of parallelism avoids concurrency related problems (mainly deadlocks and non-determinism) and allows us to design an efficient algorithm that is at the same time simple to express. A prototype implementation has been developed, allowing to run benchmarks showing the benefits of our algorithm.
Fichier principal
Vignette du fichier
GGP-PDMC-2010.pdf (123.06 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00669177 , version 1 (09-10-2019)

Identifiants

Citer

Frédéric Gava, Michael Guedj, Franck Pommereau. A BSP Algorithm for the State Space Construction of Security Protocols. 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC, affiliated to conference SPIN 2010), Sep 2010, Enschede, Netherlands. pp.37--44, ⟨10.1109/PDMC-HiBi.2010.14⟩. ⟨hal-00669177⟩
109 Consultations
85 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More