Validating Security Protocols under the General Attacker

DOI10.1007/978-3-642-03459-6_3MaRDI QIDQ3184711zbMATH OpenOpenAlexFDO

Authors Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna

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_3

Mathematics Subject Classification ID

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

Recommendations

• Model Checking Software
• Multi-attacker protocol validation
• scientific article; zbMATH DE number 7650814
• Towards the correctness of security protocols
• scientific article; zbMATH DE number 7297874
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 1962854

Cited in

(1)

• Multi-attacker protocol validation

Describes a project that uses

Uses Software

• AVISPA
• SATMC

This page was built for publication: Validating Security Protocols under the General Attacker

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