Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

24

SAM
2004

favoriteEmaildiscussreport

151views Hardware» more SAM 2004»

Checking Secrecy by Means of Partial Order Reduction

13 years 5 months ago

Checking Secrecy by Means of Partial Order Reduction

Download people.inf.ethz.ch

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.

Cas J. F. Cremers, Sjouke Mauw

Real-time Traffic

Hardware | Model Checking Security | Partial Order Reduction | SAM 2004 | Security Protocols |

claim paper

Related Content

» Monotonic Partial Order Reduction An Optimal Symbolic Partial Order Reduction Technique

» SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata

» Partial Order Reductions for Bisimulation Checking

» Partial Order Reduction for Model Checking of Timed Automata

» Architectureaware Partial Order Reduction to Accelerate Model Checking of Networked Progra...

» Symmetry and partial order reduction techniques in model checking Rebeca

» Improving Spins PartialOrder Reduction for BreadthFirst Search

» Partial Order Reduction for Probabilistic Branching Time

» Partial Order Reduction for Probabilistic Systems A Revision for Distributed Schedulers

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2004
Where	SAM
Authors	Cas J. F. Cremers, Sjouke Mauw

Comments (0)