scientific article; zbMATH DE number 1149905
From MaRDI portal
Publication:4387317
zbMath0903.94041MaRDI QIDQ4387317
Bruce Schneier, David Wagner, John Kelsey
Publication date: 7 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Lower bounds and impossibility results for concurrent self composition ⋮ Study on strand space model theory ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ A framework for compositional verification of security protocols ⋮ Safely Composing Security Protocols ⋮ Safely composing security protocols ⋮ Protocol Composition Logic (PCL) ⋮ Combined schemes for signature and encryption: the public-key and the identity-based setting
This page was built for publication: