 |
Conference papers
A BSP Algorithm for the State Space Construction of Security Protocols
Abstract : 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.
Cited literature [27 references]
https://hal.archives-ouvertes.fr/hal-00669177
Contributor : Frédéric Davesne <>
Submitted on : Wednesday, October 9, 2019 - 4:36:27 PM
Last modification on : Saturday, May 1, 2021 - 3:40:58 AM
Contributor : Frédéric Davesne <>
Submitted on : Wednesday, October 9, 2019 - 4:36:27 PM
Last modification on : Saturday, May 1, 2021 - 3:40:58 AM
File
GGP-PDMC-2010.pdf
Files produced by the author(s)