Automatic verification of cryptographic protocols with SETHEO

DOI10.1007/3-540-63104-6_12zbMath1430.68422OpenAlexW1505493017MaRDI QIDQ5234693

Johann Schumann

Publication date: 1 October 2019

Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63104-6_12

zbMATH Keywords

first-order predicate logicinference ruleautomatic verificationcryptographic protocolauthentication protocolmulti-sorted modal logic

Mathematics Subject Classification ID

Cryptography (94A60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

ILF-SETHEO ⋮ A domain-specific language for cryptographic protocols based on streams

Uses Software

• SETHEO
• HOL
• E-SETHEO
• ILF-SETHEO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• SETHEO: A high-performance theorem prover
• Controlled integration of the cut rule into connection tableau calculi
• A logic of authentication
• ILF-SETHEO
• A semantics for a logic of authentication (extended abstract)

This page was built for publication: Automatic verification of cryptographic protocols with SETHEO