 |
Free and accessible knowledge |
Conference papers
Performance evaluations of a BSP algorithm for state space construction of security protocols
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.
Cited literature [12 references]
https://hal.archives-ouvertes.fr/hal-00745201
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Sunday, February 16, 2014 - 3:03:16 PM
Last modification on : Tuesday, October 19, 2021 - 4:07:06 PM
Long-term archiving on: : Friday, May 16, 2014 - 10:36:07 AM
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Sunday, February 16, 2014 - 3:03:16 PM
Last modification on : Tuesday, October 19, 2021 - 4:07:06 PM
Long-term archiving on: : Friday, May 16, 2014 - 10:36:07 AM
File
GGP-PDP-2012.pdf
Files produced by the author(s)