M. Abadi, et al.  Home/Search
Context Related
| digital.com/pub/DEC/SRC...SRC070.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: dec.com/pub/DEC/SRC/...srcrr070 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction to Modal Logic. Methuen Inc., New York, 1968. [15] J. Kohl, C. Neuman, and J. Steiner. The Kerberos Network Authentication Service (version 5, draft 3). Available by anonymous ftp from athena-dist.mit.edu as /pub/doc/kerberos/V5DRAFT3RFC. fPS,TXTg, October 1990. [16] D. Kozen. A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. Cornell TR90-1123, May 1990. [17] B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in Distributed Systems:... (Update)
Similar documents based on text: More All
0.5: A Calculus for Access Control in Distributed Systems - Abadi, Burrows, Lampson.. (1991) (Correct)
0.2: The Kerberos Network Authentication Service (V5) - Kohl, Neuman (1993) (Correct)
0.2: Network Working Group J. Kohl Request for Comments: 1510.. - Status Of This (Correct)
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/abadi93calculus.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/abadi93calculus.html" }
Citations (may not include all citations):302 A Logic of Authentication - Burrows, Abadi et al. - 1989
202 Data Encryption Standard (context) - of - 1977
73 The Digital Distributed System Security Architecture - Gasser, Goldstein et al. - 1989
63 Capability-based Addressing (context) - Fabry - 1974
45 Authentication and Delegation with Smart-Cards - Abadi, Burrows et al. - 1991
34 IEEE Transactions on Information Theory IT (context) - Diffie, Hellman et al. - 1976
13 and ISO 9594-8: The Directory-Authentication Framework (context) - Blue, Recommendation - 1988
10 Relevance Logic and Concurrent Computation (context) - Dam - 1988
10 A Logical View of Composition and Refinement - Abadi, Plotkin - 1991
6 Representations of Distributive Lattice-ordered Semigroups w.. (context) - Andr'eka - 1989
3 JACM Vol (context) - Chandra, Kozen et al. - 1981
The graph only includes citing articles where the year of publication is known.
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