Bounding Messages for Free in Security Protocols

DOI10.1007/978-3-540-77050-3_31MaRDI QIDQ5458850zbMATH OpenOpenAlexFDO

Authors Myrto Arapinis, Marie Duflot

Publication date 24 April 2008

Published in FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77050-3_31

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Bounding messages for free in security protocols -- extension to various security properties
• scientific article; zbMATH DE number 1903362
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• A (restricted) quantifier elimination for security protocols
• Dynamic tags for security protocols

Cites work

• Bounding Messages for Free in Security Protocols
• Computer Science Logic
• Deciding Key Cycles for Security Protocols
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1962758 (Why is no real title available?)
• Safely Composing Security Protocols
• Tree automata with one memory set constraints and cryptographic protocols
• Verification of cryptographic protocols: tagging enforces termination

Cited in

(8)

• Safely composing security protocols
• Composition of password-based protocols
• Verification of security protocols with lists: from length one to unbounded length
• Bounded memory Dolev-Yao adversaries in collaborative systems
• Bounding messages for free in security protocols -- extension to various security properties
• Satisfiability of general intruder constraints with and without a set constructor
• Automatic verification of security protocols in the symbolic model: the verifier ProVerif
• Bounding Messages for Free in Security Protocols

This page was built for publication: Bounding Messages for Free in Security Protocols

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