 |
Conference papers
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
Abstract : This paper presents a distributed algorithm to compute on-the-fly whether a structured model of a security protocol satisfies or not a CTL* formula. The design of this simple and still efficient algorithm is possible by using the structured nature of security protocols. A prototype implementation has been developed, allowing to run benchmarks.
Cited literature [19 references]
https://hal.archives-ouvertes.fr/hal-00950415
Contributor : Frédéric Davesne <>
Submitted on : Friday, February 21, 2014 - 1:58:45 PM
Last modification on : Monday, October 28, 2019 - 11:00:24 AM
Document(s) archivé(s) le : Wednesday, May 21, 2014 - 11:51:32 AM
Contributor : Frédéric Davesne <>
Submitted on : Friday, February 21, 2014 - 1:58:45 PM
Last modification on : Monday, October 28, 2019 - 11:00:24 AM
Document(s) archivé(s) le : Wednesday, May 21, 2014 - 11:51:32 AM
File
GGP-PDCAT-2012.pdf
Files produced by the author(s)
