Cas J. F. Cremers, Sjouke Mauw. Checking Secrecy by Means of Partial Order Reduction. In Daniel Amyot, Alan W. Williams, editors, System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers. Volume 3319 of Lecture Notes in Computer Science, pages 171-188, Springer, 2004. [doi]