DocumentCode
3543342
Title
Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols
Author
Gava, Frédéric ; Guedj, Michael ; Pommereau, Franck
Author_Institution
LACL, Univ. of Paris-East, France
fYear
2012
fDate
15-17 Feb. 2012
Firstpage
170
Lastpage
174
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
parallel algorithms; security of data; BSP algorithm; bulk-synchronous parallel algorithm; discrete state space; performance evaluation; security protocol; state space construction; structured model; Authentication; Computational modeling; Cryptography; Knowledge engineering; Niobium; Protocols; BSP; Parallel state space; Security Protocol; performance;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel, Distributed and Network-Based Processing (PDP), 2012 20th Euromicro International Conference on
Conference_Location
Garching
ISSN
1066-6192
Print_ISBN
978-1-4673-0226-5
Type
conf
DOI
10.1109/PDP.2012.65
Filename
6169545
Link To Document