HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Friday, February 21, 2014 - 1:58:45 PM
Last modification on : Tuesday, October 19, 2021 - 4:07:09 PM
Long-term archiving on: : Wednesday, May 21, 2014 - 11:51:32 AM


Files produced by the author(s)



Frédéric Gava, Michael Guedj, Franck Pommereau. A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. 13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2012), Dec 2012, Beijing, China. pp.79--84, ⟨10.1109/PDCAT.2012.12⟩. ⟨hal-00950415⟩



Record views


Files downloads