Partial Order Reductions for Security Protocol Verification (2000)

by Edmund Clarke, Somesh Jha, Will Marrero
Venue:In Proc. of the International Conference for the Construction and Analysis of Systems -- TACAS 2000