Security protocols and their properties

MaRDI QIDQ2752046zbMATH OpenFDO

Authors Martín Abadi

Publication date 21 October 2001

zbMATH Keywords

security protocols

Mathematics Subject Classification ID

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

Recommendations

• Computer Aided Systems Theory – EUROCAST 2005
• Protocols for authentification and key establishment
• scientific article; zbMATH DE number 1956542
• Models and Proofs of Protocol Security: A Progress Report
• Security Protocols: Principles and Calculi

Cited in

(20)

• A domain-specific language for cryptographic protocols based on streams
• A brief history of security protocols
• Secrecy types for asymmetric communication.
• On the secure implementation of security protocols
• Privacy protocols
• A formal semantics for protocol narrations
• Cryptographic logical relations
• Pattern-matching spi-calculus
• A chart semantics for the pi-calculus
• Security Protocols: Principles and Calculi
• Constructing Security Protocol Specifications for Web Services
• scientific article; zbMATH DE number 1947521 (Why is no real title available?)
• scientific article; zbMATH DE number 2036024 (Why is no real title available?)
• scientific article; zbMATH DE number 1504783 (Why is no real title available?)
• scientific article; zbMATH DE number 1405886 (Why is no real title available?)
• scientific article; zbMATH DE number 7361813 (Why is no real title available?)
• Information Security and Cryptology
• Foundations of Security Analysis and Design II
• A game-theoretic framework for specification and verification of cryptographic protocols
• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography

This page was built for publication: Security protocols and their properties

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