scientific article; zbMATH DE number 1739897

MaRDI QIDQ4330563zbMATH OpenFDO

Authors Antonio Durante, Riccardo Focardi, Roberto Gorrieri

Publication date 13 May 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2052/20520287

zbMATH Keywords

attackscryptanalysisencrypted key exchange protocolsISO public key two-pass parallel mutual authentication protocolpublic key one-way authentication protocolstation to station protocols

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Cited in

(2)

• Primitives for authentication in process algebras.
• Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols

Describes a project that uses

Uses Software

• Casper

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4330563)