scientific article; zbMATH DE number 1739897
From MaRDI portal
Publication:4330563
zbMath0992.94505MaRDI QIDQ4330563
Roberto Gorrieri, Antonio Durante, Riccardo Focardi
Publication date: 13 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2052/20520287
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
attackscryptanalysisencrypted key exchange protocolsISO public key two-pass parallel mutual authentication protocolpublic key one-way authentication protocolstation to station protocols
Related Items (2)
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols ⋮ Primitives for authentication in process algebras.
Uses Software
This page was built for publication:
