This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Who you are talking to
A subject the papers are about. The loosest grouping, and the one to reach for last.
How two parties who have never met agree a key and learn whom they are talking to. Collects the authentication protocols, the attacks that found them broken years after publication, and the logics proposed to settle such questions. The theme is that these protocols fail quietly: membership requires the work to bear on whether a protocol is correct, not merely to specify one.
6 references
Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
Gavin Lowe (1996) · Tools and Algorithms for the Construction and Analysis of Systems · Springer
An attack on the Needham-Schroeder public-key authentication protocol
Gavin Lowe (1995) · Information Processing Letters · Elsevier
A logic of authentication
Michael Burrows and others (1990) · ACM Transactions on Computer Systems · Association for Computing Machinery
Timestamps in key distribution protocols
Dorothy E. Denning and others (1981) · Communications of the ACM · Association for Computing Machinery
Using encryption for authentication in large networks of computers
Roger M. Needham and others (1978) · Communications of the ACM · Association for Computing Machinery
New directions in cryptography
Whitfield Diffie and others (1976) · IEEE Transactions on Information Theory · IEEE