University of Konstanz
Graduiertenkolleg / PhD Program
Computer and Information Science

Guest Talks


Partial order reduction for branching security protocols


Dr. Mohammad Torabi Dashti, ETH Zürich
Zürich, Switzerland

date & place

Thursday, 02.07.2009, 14:15 h
Room D247


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 weakly 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 muCRL process algebra are reported.

Joint work with Wan Fokkink, and Anton Wijs.