Distributed partial order reduction for branching security protocols

Dashti, Mohammad; Wijs, Anton; Lisser, Bert

M.T. Dashti (Mohammad), A.J. Wijs (Anton) and B. Lisser (Bert)

2008-02-01

Distributed partial order reduction for branching security protocols

Electronic Notes in Theoretical Computer Science , Volume 198 - Issue 1 p. 93- 99

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.

Additional Metadata
Keywords	Distributed state space generation, Partial Order reduction, Security protocols
THEME	Software (theme 1)
Publisher	Elsevier
Journal	Electronic Notes in Theoretical Computer Science
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Dashti, M., Wijs, A., & Lisser, B. (2008). Distributed partial order reduction for branching security protocols. Electronic Notes in Theoretical Computer Science, 198(1), 93–99.

Distributed partial order reduction for branching security protocols

Publication

Publication

Address

CWI researchers

Questions or comments?

Distributed partial order reduction for branching security protocols

Publication

Publication

Workflow

Workflow

Add Content