Open AccessDistributed Partial Order Reduction for Security Protocols
Author(s) -
Mohammad Torabi Dashti,
Anton Wijs,
Bert Lisser
Publication year - 2008
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2007.10.022
Subject(s) - partial order reduction , reduction (mathematics) , computer science , order (exchange) , distributed computing , theoretical computer science , mathematics , model checking , business , geometry , finance
We describe a distributed partial order reduction algorithm for security protocols. Some experimental results using an implementation of the algorithm in the distributed μCRL toolset are also reported
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom