Security protocols and their properties
From MaRDI portal
Publication:2752046
zbMATH Open0995.68050MaRDI QIDQ2752046FDOQ2752046
Authors: Martín Abadi
Publication date: 21 October 2001
Recommendations
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)