scientific article

zbMath0995.68050MaRDI QIDQ2752046

Martín Abadi

Publication date: 21 October 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

security protocols

Mathematics Subject Classification ID

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

Related Items

Secrecy types for asymmetric communication. ⋮ A game-theoretic framework for specification and verification of cryptographic protocols ⋮ A formal semantics for protocol narrations ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ Cryptographic logical relations ⋮ Pattern-matching spi-calculus ⋮ A domain-specific language for cryptographic protocols based on streams ⋮ A Chart Semantics for the Pi-Calculus