Multicast in the Asynchronous Transfer Mode Environment (2007)
John Matthew, Simon Doar, Xiaofeng Jiang, Derek Mcauley (mac, Roger Needham
In future multimedia communication networks, the ability to multicast information will be useful for many new and existing services. This dissertation considers the design of multicast switches for...
A Logic of Authentication (2007)
Authentication Protocols Are, Michael Burrows, Roger Needham
this report has helped us in analyzing certain aspects of authentication protocols. Our logic consists of a simple set of inference rules, in a notation designed specifically for the study of...
A Private Matchmaking Protocol (2007)
. In this paper, we introduce the problem of private matchmaking. Private matchmaking is interesting because it has conflicting requirements for anonymity and authentication. A private matchmaking...
Roger Needham, Roger Needham, Martín Abadi, Ross Anderson, Jean Bacon, Andrew Birrell, ...
comprising in this compilation are copyright of the respective authors. All rights are reserved. This publication may not be copied, reproduced, published or distributed in whole or in part in any...
A New Family of Authentication Protocols (1998)
Ross Anderson Francesco, Francesco Bergadano, Bruno Crispo, Jong-hyeon Lee, Charalampos Manifavas, Roger Needham
. We present a related family of authentication and digital signature protocols based on symmetric cryptographic primitives which perform substantially better than previous constructions. Previously,...
A New Family of Authentication Protocols (1998)
Ross Anderson Francesco, Francesco Bergadano, Bruno Crispo, Jong-hyeon Lee, Charalampos Manifavas, Roger Needham
. We present a related family of authentication and digital signature protocols based on symmetric cryptographic primitives which perform substantially better than previous constructions. Previously,...
The Steganographic File System (1998)
Ross Anderson, Roger Needham, Adi Shamir
Users of some systems are at risk of being compelled to disclose their keys or other private data, and this risk could be mitigated if access control mechanisms supported an element of plausible...
The Steganographic File System (1998)
Ross Anderson, Roger Needham, Adi Shamir
. Users of some systems are at risk of being compelled to disclose their keys or other private data, and this risk could be mitigated if access control mechanisms supported an element of plausible...
A New Family of Authentication Protocols (1998)
Ross Anderson, Francesco Bergadano, Bruno Crispo, Jong-Hyeon Lee, Charalampos Manifavas, Roger Needham
We present a related family of authentication and digital signature protocols based on symmetric cryptographic primitives which perform substantially better than previous constructions. Previously,...
Strengthening Passwords (1997)
Martín Abadi, Martn Abadi, T. Mark, T. Mark, A. Lomas, ...
Despite their notorious vulnerability, traditional passwords remain important for security. In this paper we describe a method for strengthening passwords. Our method does not require users to...
Strengthening passwords (1997)
Martín Abadi, Martín Abadi, Roger Needham, Roger Needham, T. Mark, T. Mark, ...
(with minor revisions on December 16, 1997) Despite their notorious vulnerability, traditional passwords remain important for security. In this paper we describe a method for strengthening passwords....
Strengthening passwords (1997)
Martín Abadi, Martín Abadi, Roger Needham, Roger Needham, T. Mark, T. Mark, ...
(with minor revisions on December 16, 1997) Despite their notorious vulnerability, traditional passwords remain important for security. In this paper we describe a method for strengthening passwords....
Prudent engineering practice for cryptographic protocols (1996)
The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support...
Prudent engineering practice for cryptographic protocols (1996)
The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support...
Prudent engineering practice for cryptographic protocols (1996)
of fee is granted for nonpro t educational and research purposes provided that all such whole or partial copies include the following: a notice that such copying is by permission of the Systems...
Prudent engineering practice for cryptographic protocols (1996)
of fee is granted for nonpro t educational and research purposes provided that all such whole or partial copies include the following: a notice that such copying is by permission of the Systems...
Prudent Engineering Practice for Cryptographic Protocols (1995)
We present principles for designing cryptographic protocols. The principles are neither necessary nor sufficient for correctness. They are however helpful, in that adherence to them would have...
Robustness Principles for Public Key Protocols (1995)
: We present a number of attacks, some new, on public key protocols. We also advance a number of principles which may help designers avoid many of the pitfalls, and help attackers spot errors which...
TEA, a Tiny Encryption Algorithm. (1995)
Introduction We design a short program which will run on most machines and encypher safely. It uses a large number of iterations rather than a complicated program. It is hoped that it can easily be...
Programming Satan’s computer (1995)
Abstract. Cryptographic protocols are used in distributed systems to identify users and authenticate transactions. They may involve the exchange of about 2{5 messages, and one might think that a...
Systems Research Center (1991)
We present principles for designing cryptographic protocols. The principles are neither necessary nor sufficient for correctness. They are however helpful, in that adherence to them would have...
A logic of authentication (1990)
Michael Burrows, Mart Abadi, Roger Needham
Questions of belief are essential in analyzing protocols for the authentication of principals in distributed computing systems. In this paper we motivate, set out, and exemplify a logic speci cally...
A logic of authentication (1990)
Michael Burrows, Martin Abadi, Roger Needham
Authentication protocols are the basis of security in many distributed systems, and it is therefore essential to ensure that these protocols function correctly. Unfortunately, their design has been...
A logic of authentication (1990)
Michael Burrows, Martin Abadi, Roger Needham
Authentication protocols are the basis of security in many distributed systems, and it is therefore essential to ensure that these protocols function correctly. Unfortunately, their design has been...
A logic of authentication (1990)
Michael Burrows, Martin Abadi, Roger Needham
Authentication protocols are the basis of security in many distributed systems, and it is therefore essential to ensure that these protocols function correctly. Unfortunately, their design has been...
A Logic of Authentication (1990)
Michael Burrows, Roger Needham
this paper we motivate, set out, and exemplify a logic specifically designed for this analysis; we show how various protocols differ subtly with respect to the required initial assumptions of the...
A logic of authentication (1990)
Michael Burrows, Martin Abadi, Roger Needham
Questions of belief are essential in analyzing protocols for the authentication of principals in distributed computing systems. In this paper we motivate, set out, and exemplify a logic specifically...
The Scope of a Logic of Authentication (1990)
Michael Burrows, Martin Abadi, Roger Needham
this report has helped us in analyzing certain aspects of authentication protocols. Our logic consists of a simple set of inference rules, in a notation designed specifically for the study of...
Reasoning about Belief in Cryptographic Protocols (1990)
Li Gong, Roger Needham, Raphael Yahalom
Abstract. Analysis methods for cryptographic protocols have often focused on information leakage rather than on seeing whether a protocol meets its goals. Many protocols, however, fall far short of...
A logic of authentication (1990)
Michael Burrows, Mart Abadi, Roger Needham
Questions of belief are essential in analyzing protocols for the authentication of principals in distributed computing systems. In this paper we motivate, set out, and exemplify a logic speci cally...
A logic of authentication (1990)
Michael Burrows, Roger Needham
Questions of belief are essential in analyzing protocols for the authentication of prin-cipals in distributed computing systems. In this paper we motivate, set out, and exemplify a logic...
Our logic consists of a simple set of inference rules, in a notation designed specifically for the study of authentication protocols. 1 The goal of the logic is to describe the beliefs of trustworthy...
A logic of authentication (1990)
Michael Burrows, Martin Abadi, Roger Needham
Authentication protocols are the basis of security in many distributed systems, and it is therefore essential to ensure that these protocols function correctly. Unfortunately, their design has been...
A logic of authentication (1990)
Michael Burrows, Mart Abadi, Roger Needham
Questions of belief are essential in analyzing protocols for the authentication of principals in distributed computing systems. In this paper we motivate, set out, and exemplify a logic speci cally...
A logic of authentication (1990)
Michael Burrows, Roger Needham
Questions of belief are essential in analyzing protocols for the authentication of prin-cipals in distributed computing systems. In this paper we motivate, set out, and exemplify a logic...
Authentication: A practical study in belief and action (1988)
Michael Burrows, Martin Abadi, Roger Needham
Questions of belief and action are essential in the analysis of protocols for the authen-tication of principals in distributed computing systems. In this paper we motivate, set out, and exemplify a...
Cryptographic protocols are used in distributed systems to identify users and authenticate transactions. They may involve the exchange of about 2--5 messages, and one might think that a program of...