Authentication Logics: New Theory and Implementations (2009)
Lawrence C. Paulson, Roger M Needham
was undertaken to provide better tools for verifying security protocols. A new method has been developed in which protocols are modelled inductively [5]. The method has been applied to numerous...
Abstract A Caching File System For a Programmer's Workstation (2008)
Michael D. Schroeder, David K. Gifford, Roger M. Needham
This paper describes a file system for a programmer's workstation that has access both to a local disk and to remote file servers. The file system is designed to help programmers manage their...
Authentication Logics: New Theory and Implementations (2008)
Lawrence C. Paulson, Roger M Needham
was undertaken to provide better tools for verifying security protocols. A new method has been developed in which protocols are modelled inductively [5]. The method has been applied to numerous...
writing and publication of this paper was supported by the DEC Systems (2008)
Michael D. Schroeder, David K. Gi�ord, Roger M. Needham
c�1985 by the Association for Computing Machinery. All rights reserved. Printed with permission. ii This paper describes a workstation �le system that supports a group of cooperating programmers...
Many operating system designs can be placed into one of two very rough categories, depending upon how they implement and use the notions of process and
writing and publication of this paper was supported by the DEC Systems (2008)
Michael D. Schroeder, David K. Gi�ord, Roger M. Needham
c�1985 by the Association for Computing Machinery. All rights reserved. Printed with permission. ii This paper describes a workstation �le system that supports a group of cooperating programmers...
Systems Editor Using Encryption for Authentication in Large Networks of Computers (2007)
Roger M. Needham, Michael D. Schroeder
Use of encryption to achieve authenticated communication in computer networks is discussed. Example protocols are presented for the establishment of authenticated connections, for the management of...
TEA, a Tiny Encryption Algorithm (1994)
David J. Wheeler, Roger M. Needham
Abstract. We give a short routine which is based on a Feistel iteration and uses a large number of rounds to get security with simplicity.
TEA, a Tiny Encryption Algorithm (1994)
David J. Wheeler, Roger M. Needham
Abstract. We give a short routine which is based on a Feistel iteration and uses a large number of rounds to get security with simplicity.
Protecting Poorly Chosen Secrets from Guessing Attacks (1993)
Li Gong, T. Mark, Roger M. Needham, Jerome H. Saltzer
In a security system that allows people to choose their own passwords, those people tend to choose passwords that can be easily guessed. This weakness exists in practically all widely used systems....
Autonet: a high-speed, self-configuring local area network using point-to-point links (1991)
Michael D. Schroeder, Andrew D. Birrell, Michael Burrows, Hal Murray, Roger M. Needham, Thomas L. Rodeheffer, ...
This work may not be copied or reproduced in whole or in part for any commercial
Autonet: a high-speed, self-configuring local area network using point-to-point links (1991)
Michael D. Schroeder, Andrew D. Birrell, Michael Burrows, Hal Murray, Roger M. Needham, Thomas L. Rodeheffer, ...
for nonprofit, 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 Research Center of...
Autonet: a high-speed, self-configuring local area network using point-to-point links (1991)
Michael D. Schroeder, Andrew D. Birrell, Michael Burrows, Hal Murray, Roger M. Needham, Thomas L. Rodeheffer, ...
for nonprofit, 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 Research Center of...
Autonet: A high-speed, self-configuring local area network using point-to-point links (1991)
Michael D. Schroeder, Andrew D. Birrell, Michael Burrows, Hal Murray, Roger M. Needham, Thomas L. Rodeheffer, ...
Read it as an adjunct to the lectures on distributed systems, links, and switching. It gives a fairly complete description of a working highly-available switched network providing daily service to...
Self-configuring Local Area Network Using Point-to-point Links (1990)
Michael D. Schroeder, Andrew D. Birrell, Michael Burrows, Hal Murray, Roger M. Needham, Thomas L. Rodeheffer, ...
Read it as an adjunct to the lectures on distributed systems, links, and switching. It gives a fairly complete description of a working highly-available switched network providing daily service to...
Reducing Risks from Poorly Chosen Keys (1989)
T. Mark, Mark Lomas, Li Gong, Jerome H. Saltzer, Roger M. Needham
It is well-known that, left to themselves, people will choose passwords that can be rather readily guessed. If this is done, they are usually vulnerable to an attack based on copying the content of...
A Global Authentication Service without Global Trust (1986)
Andrew D. Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder
Digital Equipment Corporation This paper describes a design for an authentication service for a very large scale, very long lifetime, distributed system. The paper introduces a methodology for...
A Global Authentication Service without Global Trust (1986)
Andrew D. Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder
Digital Equipment Corporation This paper describes a design for an authentication service for a very large scale, very long lifetime, distributed system. The paper introduces a methodology for...
A Global Authentication Service without Global Trust (1986)
Andrew D. Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder
This paper describes a design for an authentication service for a very large scale, very long lifetime, distributed system. The paper introduces a methodology for describing authentication protocols...
A Global Authentication Service without Global Trust (1986)
Andrew Birrell Butler, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder
This paper describes a design for an authentication service for a very large scale, very long lifetime, distributed system. The paper introduces a methodology for describing authentication protocols...
A Caching File System for a Programmer's Workstation (1985)
Michael D. Schroeder, David K. Gifford, Roger M. Needham
This paper describes a workstation file system that supports a group of cooperating programmers by allowing them both to manage local naming environments and to share consistent versions of...
Experience with Grapevine: The Growth of a Distributed System (1984)
Michael D. Schroeder, Andrew D. Birrell, Roger M. Needham
this paper we report on what we have learned from using Grapevine
On the Duality of Operating System Structures (1979)
Hugh C. Lauer, Roger M. Needham
Because the original of the following paper by Lauer and Needham is not
The changing environment for security protocols (0000)
The systematic study of security protocols started, as far as the public literature is concerned, almost 20 years ago. A paper by M.D. Schroeder and the present writer may be taken as a specimen; it...
The changing environment for security protocols (0000)
The systematic study of security protocols started, as far as the public literature is concerned, almost 20 years ago. A paper by M.D. Schroeder and the present writer may be taken as a specimen; it...
The changing environment for security protocols
The systematic study of security protocols started, as far as the public literature is concerned, almost 20 years ago. A paper by M.D. Schroeder and the present writer may be taken as a specimen; it...
The changing environment for security protocols
The systematic study of security protocols started, as far as the public literature is concerned, almost 20 years ago. A paper by M.D. Schroeder and the present writer may be taken as a specimen; it...