Checking Secrecy by Means of Partial Order Reduction

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.

• Type: Conference
• Year: 2004
• Where: SAM
• Authors: Cas J. F. Cremers, Sjouke Mauw
• Keywords: Hardware, Model Checking Security, Partial Order Reduction, SAM 2004, Security Protocols