@InProceedings{CM2004secrecy,
  Author         = "C.J.F. Cremers and S. Mauw",
  Title          = "Checking secrecy by means of partial order reduction",
  BookTitle      = "SAM 2004: Security Analysis and Modelling",
  Editor         = "D. Amyot and A.W. Williams",
  Volume         = {3319},
  Series         = "Lecture Notes in Computer Science",
  Pages          = {177--194},
  Address        = "Ottawa, Canada",
  Publisher      = "Springer",
  month          = sep,
  year           = 2004
}