A BSP algorithm for on-the-fly checking CTL* formulas on security protocols

Frédéric Gava 1 Michael Guedj 1 Franck Pommereau 2
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 COSMO
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
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.
Keywords : BSP CTL Security Protocols
Type de document :
Communication dans un congrès
13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2012), Dec 2012, Beijing, China. pp.79--84, 2012, 〈10.1109/PDCAT.2012.12〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-00950415
Contributeur : Frédéric Davesne <>
Soumis le : vendredi 21 février 2014 - 13:58:45
Dernière modification le : jeudi 7 février 2019 - 16:02:08
Document(s) archivé(s) le : mercredi 21 mai 2014 - 11:51:32

Fichier

GGP-PDCAT-2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

IBISC | IBISC-COSMO | UNIV-EVRY | LACL | UPEC-UPEM | TDS-MACS

Citation

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, 2012, 〈10.1109/PDCAT.2012.12〉. 〈hal-00950415〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

170

Téléchargements de fichiers

76

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD