A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...