Bounding Messages for Free in Security Protocols
From MaRDI portal
Publication:5458850
DOI10.1007/978-3-540-77050-3_31zbMATH Open1135.68389OpenAlexW1501813649MaRDI QIDQ5458850FDOQ5458850
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
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
Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)
Cites Work
- Title not available (Why is that?)
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Tree automata with one memory set constraints and cryptographic protocols
- Bounding Messages for Free in Security Protocols
- Verification of cryptographic protocols: tagging enforces termination
- Computer Science Logic
- Deciding Key Cycles for Security Protocols
- Safely Composing Security Protocols
Cited In (8)
- Automatic verification of security protocols in the symbolic model: the verifier ProVerif
- Safely composing security protocols
- Bounded memory Dolev-Yao adversaries in collaborative systems
- Bounding Messages for Free in Security Protocols
- Verification of security protocols with lists: from length one to unbounded length
- Bounding messages for free in security protocols -- extension to various security properties
- Composition of password-based protocols
- Satisfiability of general intruder constraints with and without a set constructor
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)
