From One Session to Many: Dynamic Tags for Security Protocols

DOI10.1007/978-3-540-89439-1_9MaRDI QIDQ5505548zbMATH OpenOpenAlexFDO

Authors Myrto Arapinis, Stéphanie Delaune, Steve Kremer

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89439-1_9

Mathematics Subject Classification ID

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

Recommendations

• Dynamic tags for security protocols
• Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions
• Computer Science Logic
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• A (restricted) quantifier elimination for security protocols

Cited in

(11)

• Safely composing security protocols
• Modular verification of protocol equivalence in the presence of randomness
• Composition of password-based protocols
• Bounded memory protocols
• The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
• Challenges in the Automated Verification of Security Protocols
• Bounded memory Dolev-Yao adversaries in collaborative systems
• Dynamic tags for security protocols
• Computer Science Logic
• Sessions and separability in security protocols
• A (restricted) quantifier elimination for security protocols

Describes a project that uses

Uses Software

• AVISPA

This page was built for publication: From One Session to Many: Dynamic Tags for Security Protocols

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