Martín Abadi, Michael Burrows, Butler Lampson, Gordon Plotkin  Home/Search
Context Related
| digital.com/SRC/pers...acl_final_acm.ps belllabs.com/~abadi...acl_final_acm.ps homepages.inf.ed.a..._Access_Control.ps 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: cryptosoft.com/html/secpub (more) Homepages: M.Abadi |
Rate this article:      (best)Comment on this article |
Abstract: This paper is a study of some of the concepts, protocols, and algorithms for security in distributed systems, with a focus on access control. Our treatment is fairly formal, as it is based on logics. Our main goal is to isolate some useful and mathematically tractable concepts. We account for how a principal may come to believe that another principal is making a request, either on his own or on someone else's behalf. We also provide a logical language for access control lists (ACLs) and... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
Non-Interference in Constructive Authorization Logic - Deepak Garg And (Correct)
Active bibliography (related documents): More All
0.5: A Semantics for a Logic of Authentication - Abadi, Tuttle (1991) (Correct)
0.4: A Calculus for Access Control in Distributed Systems - Abadi, Burrows, Lampson.. (1991) (Correct)
0.3: A Logical View of Composition - Abadi, Plotkin (1992) (Correct)
Similar documents based on text: More All
0.2: Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi, Burrows.. (1992) (Correct)
0.2: On SDSI's Linked Local Name Spaces - Abadi (1998) (Correct)
0.2: Faithful Ideal Models for Recursive Polymorphic Types - Abadi, Pierce (1991) (Correct)
Related documents from co-citation: More All
54: Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
23: Decentralized trust management - Blaze, Feigenbaum et al. - 1996
17: Authentication in the Taos operating system - Wobber, Abadi et al. - 1994
BibTeX entry: (Update)
M. Abadi, M. Burrows, B. Lampson, and G. Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems, 15(4):706--734, Oct. 1993. http://citeseer.ist.psu.edu/article/abadi91calculus.html More
@article{ abadi93calculus,
author = "Mart{\'\i}n Abadi and Michael Burrows and Butler Lampson and Gordon Plotkin",
title = "A Calculus for Access Control in Distributed Systems",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "15",
number = "4",
month = "September",
publisher = "ACM Press",
pages = "706--734",
year = "1993",
url = "citeseer.ist.psu.edu/article/abadi91calculus.html" }
Citations (may not include all citations):1529 A method for obtaining digital signatures and public-key cry.. - Rivest, Shamir et al. - 1978
635 New directions in cryptography - Diffie, Hellman - 1976
450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
302 A logic of authentication - Burrows, Abadi et al. - 1989
253 Authentication in distributed systems: theory and practice - Lampson, Abadi et al. - 1992
242 Linear logic (context) - Girard - 1987
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
202 Data Encryption Standard (context) - of - 1977
194 The protection of information in computer systems (context) - Saltzer, Schroeder - 1975
114 Capability-based Computer Systems (context) - Levy - 1983
84 A completeness theorem for Kleene algebras and the algebra o.. - Kozen - 1990
73 The Digital Distributed System Security Architecture - Gasser, Goldstein et al. - 1989
63 Capability-based addressing (context) - Fabry - 1974
61 Kerberos authentication and authorization system - Miller, Neuman et al. - 1987
54 An architecture for practical delegation in a distributed sy.. (context) - Gasser, McDermott - 1990
45 Authentication and delegation with smart-cards - Abadi, Burrows et al. - 1991
23 Cascaded authentication (context) - Sollins - 1988
13 and ISO 9594-8: The directoryauthentication framework (context) - Blue, Recommendation - 1988
12 A logical view of composition - Abadi, Plotkin - 1993
10 Relevance logic and concurrent computation (context) - Dam - 1988
7 and Stockmeyer (context) - Chandra, Kozen - 1981
6 Representations of distributive lattice-ordered semigroups w.. (context) - Andr'eka - 1989
4 Samson Abramsky on linear process logics (context) - Vickers - 1988
2 Available by anonymous FTP from athena-dist (context) - Kohl, Neuman et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cryptosoft.com/html/secpub.htm): More
A New Approach for Delegation Using Hierarchical Delegation.. - Ding, Petersen (1995) (Correct)
A Uniform-Complexity Treatment of Encryption and Zero-Knowledge - Goldreich (1991) (Correct)
On Signature Schemes With Threshold Verification Detecting.. - Petersen, Michels (1997) (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