Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols

Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols

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 mode...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Gava, F., Guedj, M., Pommereau, F.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Authentication
BSP
Computational modeling
Computer Science
Cryptography
Knowledge engineering
Modeling and Simulation
Niobium
Parallel state space
Protocols
Security Protocol
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1066-6192
2377-5750
DOI:10.1109/PDP.2012.65