scientific article; zbMATH DE number 1538051

zbMATH Open0965.68053MaRDI QIDQ4518908FDOQ4518908

Somesh Jha, Will Marrero, Edmund Clarke

Publication date: 5 August 2001

Title of this publication is not available (Why is that?)

Recommendations

• Partial order reduction for security protocols
• Transparent partial order reduction
• scientific article; zbMATH DE number 1507206
• Partial-order reduction in symbolic state-space exploration
• scientific article; zbMATH DE number 1059330

zbMATH Keywords

model checkingcryptographic protocolssecurity protocolspartial order reductionBRUTUS

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Cited In (3)

• Approximate partial order reduction
• POR for security protocol equivalences. Beyond action-determinism
• Extended beam search for non-exhaustive state space analysis

Uses Software

• Casper

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518908)