A BSP Algorithm for the State Space Construction of Security Protocols
- Gava, Frédéric
- Guedj, Michael
- Pommereau, Franck
Publication date
September 2010
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE)Abstract
International audienceThis 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
Add to ORKG