@inproceedings{174890b19cab41f2bd95362a2db90444,
title = "Checking secrecy by means of partial order reduction",
abstract = "We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction, we develop an automatic tool that can check security protocols for secrecy, given a finite execution scenario. We compare this tool to several other tools.",
author = "C.J.F. Cremers and S. Mauw",
year = "2005",
doi = "10.1007/978-3-540-31810-1\_12",
language = "English",
isbn = "3-540-24561-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "171--188",
editor = "D. Amyot and A.W. Williams",
booktitle = "System Analysis and Modelling (4th International SDL and MSC Workshop, SAM'04, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers)",
address = "Germany",
}