Security protocols and their properties

zbMATH Open0995.68050MaRDI QIDQ2752046FDOQ2752046

Authors: Martín Abadi 

Publication date: 21 October 2001

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

zbMATH Keywords

security protocols

Mathematics Subject Classification ID

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

Cited In (19)

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

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)