Abstract | ||
---|---|---|
Two extensions of the partial order reduction algorithm of Clarke, Jha and Marrero are presented. The proposed algorithms are suitable for branching security protocols, e.g. optimistic fair contract signing schemes. The first extension is proved to generate a reduced state space which is branching bisimilar to the full state space, while the second extension generates a state space that is trace equivalent to the full state space. Experimental results using an implementation of the algorithms in the toolset of the 碌CRL process algebra are reported. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/ACSD.2010.19 | Application of Concurrency to System Design |
Keywords | DocType | ISSN |
formal verification,process algebra,protocols,security of data,state-space methods,branching security protocols,optimistic fair contract signing schemes,partial order reduction algorithm,process algebra,reduced state space,bisimulation,branching security protocols,partial order reduction | Conference | 1550-4808 E-ISBN : 978-1-4244-7267-3 |
ISBN | Citations | PageRank |
978-1-4244-7267-3 | 3 | 0.38 |
References | Authors | |
35 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fokkink, W. | 1 | 3 | 0.38 |
Mohammad Torabi Dashti | 2 | 133 | 14.24 |
Anton Wijs | 3 | 17 | 4.89 |