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.
| Origin | Files produced by the author(s) |
|---|
Loading...