A BSP algorithm for on-the-fly checking CTL* formulas on security protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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.

Mots clés

Fichier principal
Vignette du fichier
GGP-PDCAT-2012.pdf (153.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00950415 , version 1 (21-02-2014)

Identifiants

Citer

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⟩
164 Consultations
116 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More