Work

Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR

Year: 1996

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

DOI: 10.1007/3-540-61042-1_43

Author: Gavin Lowe

Institution: University of Oxford

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2155032609

FWCI: 14.02

Cites: 12

Cited by: 932

Related to: 10