We describe a distributed partial order reduction algorithm for security protocols. Some experimental results using an implementation of the algorithm in the distributed $\mu$CRL toolset are also reported.

, ,
Elsevier
Electronic Notes in Theoretical Computer Science
Specification and Analysis of Embedded Systems

Dashti, M.T, Wijs, A.J, & Lisser, B. (2008). Distributed partial order reduction for branching security protocols. Electronic Notes in Theoretical Computer Science, 198(1), 93–99.