Distributed partial order reduction for security protocols

M. Torabi Dashti, A.J. Wijs, B. Lisser

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Abstract

We describe a distributed partial order reduction algorithm for security protocols. Some experimental results using an implementation of the algorithm in the distributed mCRL toolset are also reported.
Original languageEnglish
Title of host publicationProceedings of the 6th International Workshop on Parallel and Distributed Methods on verifiCation
Place of PublicationAmsterdam
PublisherElsevier
Pages93-99
DOIs
Publication statusPublished - 2008

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume198
ISSN (Print)1571-0061

Cite this