scientific article; zbMATH DE number 1948405

MaRDI QIDQ4411969zbMATH OpenFDO

Authors Ricardo Corin, Sandro Etalle

Publication date 13 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2477/24770326.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• Constraint Abstraction in Verification of Security Protocols
• A coordination-based methodology for security protocol verification
• A framework for compositional verification of security protocols
• Communicating Sequential Processes. The First 25 Years
• Automatic verification of security protocols in the symbolic model: the verifier ProVerif

Cited in

(9)

• Verification of cryptographic protocols: tagging enforces termination
• Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures
• Hierarchical combination of intruder theories
• The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
• Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables
• Comparing State Spaces in Automatic Security Protocol Analysis
• Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
• Logic Programming
• On the semantics of Alice \& Bob specifications of security protocols

Describes a project that uses

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 Q4411969)