Multi-attacker protocol validation

DOI10.1007/S10817-010-9185-YMaRDI QIDQ540676zbMATH OpenOpenAlexFDO

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

Publication date 3 June 2011

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-010-9185-y

zbMATH Keywords

automated reasoningsecurity protocolsattacker models

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Validating Security Protocols under the General Attacker
• An active attack on a multiparty key exchange protocol
• Model Checking Software
• scientific article; zbMATH DE number 7650814
• scientific article; zbMATH DE number 1149905
• Verification and modelling of authentication protocols

Cites work

• scientific article; zbMATH DE number 1696763 (Why is no real title available?)
• scientific article; zbMATH DE number 1263181 (Why is no real title available?)
• scientific article; zbMATH DE number 1497865 (Why is no real title available?)
• scientific article; zbMATH DE number 1759457 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• Computer Aided Verification
• Formal correctness of security protocols.
• LTL model checking for security protocols
• Metareasoning about security protocols using distributed temporal logic
• Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• Validating Security Protocols under the General Attacker

Cited in

(1)

• Validating Security Protocols under the General Attacker

Describes a project that uses

Uses Software

• SATMC
• AVISPA

This page was built for publication: Multi-attacker protocol validation

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