Checking secrecy by means of partial order reduction

C.J.F. Cremers, S. Mauw

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationSystem Analysis and Modelling (4th International SDL and MSC Workshop, SAM'04, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers)
EditorsD. Amyot, A.W. Williams
Place of PublicationBerlin
ISBN (Print)3-540-24561-8
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Checking secrecy by means of partial order reduction'. Together they form a unique fingerprint.

Cite this