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

Frédéric Gava; Michael Guedj; Franck Pommereau

doi:10.1109/PDP.2012.65

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

Frédéric Gava ¹ Michael Guedj ¹ Franck Pommereau ²

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

2 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes

Abstract : 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.

Keywords : Structured model State space Discrete state space Performance comparison Performance evaluation Security protocols

Document type :

Conference papers

Domain :

Computer Science [cs] / Modeling and Simulation

Liste complète des métadonnées

Cited literature [12 references] Display Hide Download

https://hal.archives-ouvertes.fr/hal-00745201
Contributor : Frédéric Davesne <>
Submitted on : Sunday, February 16, 2014 - 3:03:16 PM
Last modification on : Thursday, February 7, 2019 - 3:47:05 PM
Document(s) archivé(s) le : Friday, May 16, 2014 - 10:36:07 AM

GGP-PDP-2012.pdf

Files produced by the author(s)

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

File

Identifiers

Collections

Citation

Export

Metrics

309

195

Contact

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

File

Identifiers

Collections

Citation

Export

Share

Metrics

309

195

Contact