"Partial Order Reductions for Security Protocol Verification."

Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics