Performance evaluations of a BSP algorithm for state space construction of security protocols - Université d'Évry
Communication Dans Un Congrès Année : 2012

Performance evaluations of a BSP algorithm for state space construction of security protocols

Résumé

This paper presents the implementation and the performance comparisons of two Bulk-Synchronous Parallel (BSP) algorithms to compute the discrete state space of models. These algorithms are simple to express and the first one is the most general one whereas the second is dedicated for structured models of security protocols. Benchmarks of security protocol scenarios has been done showing the benefits of the implementation of the dedicated algorithm.
Fichier principal
Vignette du fichier
GGP-PDP-2012.pdf (97.22 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00745201 , version 1 (16-02-2014)

Identifiants

Citer

Frédéric Gava, Michael Guedj, Franck Pommereau. Performance evaluations of a BSP algorithm for state space construction of security protocols. 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2012), Feb 2012, Garching, Germany. pp.170--174, ⟨10.1109/PDP.2012.65⟩. ⟨hal-00745201⟩
218 Consultations
225 Téléchargements

Altmetric

Partager

More