On the Automated Correction of Protocols with Improper Message Encoding

DOI10.1007/978-3-642-03459-6_10MaRDI QIDQ3184716zbMATH OpenOpenAlexFDO

Authors Dieter Hutter, Raúl Monroy

Publication date 22 October 2009

Published in Foundations and Applications of Security Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03459-6_10

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Automated analysis of security protocols
• scientific article; zbMATH DE number 2086169
• scientific article; zbMATH DE number 1696763
• Secure composition of protocols
• From model-checking to automated testing of security protocols: bridging the gap

Describes a project that uses

Uses Software

• OFMC

This page was built for publication: On the Automated Correction of Protocols with Improper Message Encoding

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