Edward Wobber, Martín Abadi, Mike Burrows, Butler Lampson  Home/Search
Context Related
Links: ACM DBLP | mit.edu/dm/papers/...ber:taostocs.ps.gz ce.chalmers.se/~stefanp/...SRC117.ps.Z mit.edu/pub/dm/pap...ber:taostocs.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu (more) From: mit.edu/~dm/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a design for security in a distributed system and its implementation. In our design, applications gain access to security services through a narrow interface. This interface provides a notion of identity that includes simple principals, groups, roles, and delegations. A new operating system component manages principals, credentials, and secure channels. It checks credentials according to the formal rules of a logic of authentication. Our implementation is efficient enough to support ... (Update)
Cited by: More
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
IEEE June 2004 3 - Cover Feature Published (Correct)
Authorization Speci - Cation And Enforcement (Correct)
Similar documents (at the sentence level):
64.0%: Authentication in the Taos - Operating System Edward (Correct)
Active bibliography (related documents): More All
0.9: Authentication in the Taos Operating System - Wobber, Abadi, Burrows, Lampson (1994) (Correct)
0.2: Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi, Burrows.. (1992) (Correct)
0.1: Prudent Engineering Practice for Cryptographic Protocols - Abadi, Needham (1995) (Correct)
Similar documents based on text: More All
0.9: A Simple and Efficient Implementation for Small Databases - Birrell, Jones, Wobber (1987) (Correct)
0.3: Mechanizing a Theory of Authentication in Higher Order Logic - Munna, Alves-Foss (Correct)
0.2: A Calculus for Access Control in Distributed Systems - Abadi, Burrows, Lampson.. (1991) (Correct)
Related documents from co-citation: More All
58: Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
29: A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
28: Decentralized trust management - Blaze, Feigenbaum et al. - 1996
BibTeX entry: (Update)
E. Wobber, M. Abadi, M. Burrows, and B. Lampson. Authentication in the Taos operating system. ACM Transactions on Computer Systems, 12(1):3--32, Feb. 1994. http://citeseer.ist.psu.edu/article/wobber93authentication.html More
@inproceedings{ wobber93authentication,
author = "Martin Abadi Edward Wobber and Michael Burrows and Butler Lampson",
title = "Authentication in the Taos Operating System",
booktitle = "Proceedings of the 14th {ACM} Symposium on Operating System Principles",
publisher = "ACM Press",
address = "The Grove Park Inn and Country Club, Asheville, NC",
pages = "256--269",
year = "1993",
url = "citeseer.ist.psu.edu/article/wobber93authentication.html" }
Citations (may not include all citations):2003 The Art of Computer Programming (context) - Knuth - 1981
1529 A method for obtaining digital signatures and public-key cry.. - Rivest, Shamir et al. - 1978 ACM DBLP
401 The MD4 message digest algorithm (context) - Rivest - 1991 ACM DBLP
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992 DBLP
202 Data Encryption Standard (context) - of - 1977 ACM
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993 ACM DBLP
136 The Kerberos Network Authentication Service - Kohl, Neuman - 1993
122 Firefly: A multiprocessor workstation (context) - Thacker, Stewart et al. - 1988 ACM DBLP
73 The Digital distributed system security architecture - Gasser, Goldstein et al. - 1989
70 Performance of Firefly RPC - Schroeder, Burrows - 1990 ACM DBLP
50 Fast implementations of RSA cryptography - Shand, Vuillemin - 1993
45 Authentication and delegation with smart-cards - Abadi, Burrows et al. - 1993 ACM DBLP
38 The Echo distributed file system - Birrell, Hisgen et al. - 1993
29 ACM Operating Systems Review (context) - Lampson - 1974
7 Cryptography and Secure Channels (context) - Needham - 1993 ACM
4 Low cost outboard cryptographic support for SILS and SP (context) - Herbison - 1990
3 IEEE Custom Integrated Circuit Conf (context) - Eberle, Thacker - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cag.lcs.mit.edu.html): More
Reactive Synchronization Algorithms for Multiprocessors - Lim (1994) (Correct)
MGS: A Multigrain Shared Memory System - Yeung (1996) (Correct)
Dribbling Registers: A Mechanism for Reducing Context.. - Vijayaraghavan.. (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC