Title :
A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols
Author :
Gava, Frederic ; Guedj, Michael ; Pommereau, Franck
Author_Institution :
Univ. of Paris-East, Marne-la-Vallée, France
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 :
cryptographic protocols; distributed algorithms; BSP algorithm; distributed algorithm; on-the-fly checking CTL* formulas; security protocols; structured model; Algorithm design and analysis; Computational modeling; Educational institutions; Partitioning algorithms; Protocols; Security; Syntactics; BSP; CTL*; Security Protocols;
Conference_Titel :
Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2012 13th International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-0-7695-4879-1
DOI :
10.1109/PDCAT.2012.12
