An attack on the Needham-Schroeder public-key authentication protocol

DOI10.1016/0020-0190(95)00144-2MaRDI QIDQ672251zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Gavin Lowe

Publication date 28 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(95)00144-2

zbMATH Keywords

Authentication protocolsDistributed systemsPublic-key cryptographySecurity in digital systems

Mathematics Subject Classification ID

Cryptography (94A60)

Cites work

• A logic of authentication
• A method for obtaining digital signatures and public-key cryptosystems
• New directions in cryptography
• Using encryption for authentication in large networks of computers

Cited in

(40)

• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Attacks and counter-attacks on the GPT public key cryptosystem
• Attacks on Okamoto and Tanaka's one-way ID-based key distribution system
• Authentication tests and the structure of bundles.
• An attack-finding algorithm for security protocols.
• A new logic for electronic commerce protocols
• An approach for formal verification of authentication protocols
• A tutorial-style introduction to \(\mathsf{DY}^{\star}\)
• Joshua Guttman: pioneering strand spaces
• Universally composable symbolic security analysis
• The meeting businessmen problem: requirements and limitations
• Transducer-based analysis of cryptographic protocols
• Cryptographic logical relations
• Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically
• Verifying security protocols with PVS: widening the rank function approach
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
• Graphical calculus for quantum key distribution (extended abstract)
• Abstract interpretation for proving secrecy properties in security protocols
• Rewriting-based verification of authentication protocols
• Computational soundness of symbolic analysis for protocols using hash functions
• Mean-set attack: cryptanalysis of Sibert et al. authentication protocol
• Validation of decentralised smart contracts through game theory and formal methods
• Challenges in the Automated Verification of Security Protocols
• On Establishing and Fixing a Parallel Session Attack in a Security Protocol
• SAT-solving in CSP trace refinement
• Security in the Ajanta mobile agent system
• Automated type-based analysis of injective agreement in the presence of compromised principals
• Analysing privacy-type properties in cryptographic protocols (invited talk)
• Certificateless one-pass and two-party authenticated key agreement protocol and its extensions
• Formalization in PVS of balancing properties necessary for proving security of the Dolev-Yao cascade protocol model
• Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
• Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
• Completeness and Herbrand theorems for nominal logic
• An NP decision procedure for protocol insecurity with XOR
• Simulation relations for alternating Büchi automata
• A bisimulation for dynamic sealing
• Counterexample classification
• Attack on LAC Key Exchange in Misuse Situation
• Two attacks on Neuman-Stubblebine authentication protocols
• Intruder deduction for the equational theory of abelian groups with distributive encryption

This page was built for publication: An attack on the Needham-Schroeder public-key authentication protocol

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