Using automated theorem provers in verification of protocols

MaRDI QIDQ2702601zbMATH OpenFDO

Authors Ingo Dahn, Johann Schumann

Publication date 12 March 2001

zbMATH Keywords

automated theorem proversprotocol verification

Mathematics Subject Classification ID

Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Automatic verification of cryptographic protocols with SETHEO
• scientific article; zbMATH DE number 2086169
• scientific article; zbMATH DE number 2090853
• Computer-assisted verification of a protocol for certified email
• A Simple Protocol Whose Proof Isn't

Cited in

(1)

• Using probabilistic Kleene algebra pKA for protocol verification

Describes a project that uses

Uses Software

• SETHEO

This page was built for publication: Using automated theorem provers in verification of protocols

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