Title :
A BSP Algorithm for the State Space Construction of Security Protocols
Author :
Gava, Frédéric ; Guedj, Michaél ; Pommereau, Franck
Author_Institution :
LACL, Univ. of Paris-East Creteil, Créteil, France
fDate :
Sept. 30 2010-Oct. 1 2010
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.
Keywords :
cryptographic protocols; security of data; state-space methods; BSP algorithm; bulk synchronous parallel algorithm; concurrency problem; discrete state space; prototype implementation; security protocol; structured model;
Conference_Titel :
Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and High Performance Computational Systems Biology, Second International Workshop on
Conference_Location :
Enschede
Print_ISBN :
978-0-7695-4265-2
DOI :
10.1109/PDMC-HiBi.2010.14
