Performance evaluations of a BSP algorithm for state space construction of security protocols

Frédéric Gava 1 Michael Guedj 1 Franck Pommereau 2
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
Abstract : This paper presents the implementation and the performance comparisons of two Bulk-Synchronous Parallel (BSP) algorithms to compute the discrete state space of models. These algorithms are simple to express and the first one is the most general one whereas the second is dedicated for structured models of security protocols. Benchmarks of security protocol scenarios has been done showing the benefits of the implementation of the dedicated algorithm.
Keywords : Structured model State space Discrete state space Performance comparison Performance evaluation Security protocols
Type de document :
Communication dans un congrès
20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2012), Feb 2012, Garching, Germany. pp.170--174, 2012, 〈10.1109/PDP.2012.65〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-00745201
Contributeur : Frédéric Davesne <>
Soumis le : dimanche 16 février 2014 - 15:03:16
Dernière modification le : jeudi 7 février 2019 - 15:47:05
Document(s) archivé(s) le : vendredi 16 mai 2014 - 10:36:07

Fichier

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

Identifiants

Collections

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

Citation

Frédéric Gava, Michael Guedj, Franck Pommereau. Performance evaluations of a BSP algorithm for state space construction of security protocols. 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2012), Feb 2012, Garching, Germany. pp.170--174, 2012, 〈10.1109/PDP.2012.65〉. 〈hal-00745201〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

306

Téléchargements de fichiers

188

Contact

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