Joseph Halpern  Home/Search
Context Related
| unsw.edu.au/~meyden/res...sdsifinal.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: unsw.edu.au/~meyde...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Abadi has introduced a logic to explicate the meaning of local names in SDSI, the Simple Distributed Security Infrastructure proposed by Rivest and Lampson. Abadi's logic does not correspond precisely to SDSI, however; it draws conclusions about local names that do not follow from SDSI's name resolution algorithm. Moreover, its semantics is somewhat unintuitive. This paper presents the Logic of Local Name Containment, which does not su er from these de ciencies. It has a clear semantics... (Update)
Cited by: More
Logics for Authorizations and Security - Piero Bonatti And (2003) (Correct)
Device-Enabled Authorization in the Grey System - Bauer, Garriss, McCune.. (2005) (Correct)
Towards a Credential-Based Implementation of Compound Access .. - Biskup, Wortmann (2003) (Correct)
Similar documents (at the sentence level):
30.5%: A Logic for SDSI's Linked Local Name Spaces - Halpern, van der Meyden (1999) (Correct)
Active bibliography (related documents): More All
0.5: A logical reconstruction of SPKI - Halpern, van der Meyden (2001) (Correct)
0.5: Using First-Order Logic to Reason about Policies - Halpern, Weissman (2003) (Correct)
0.3: A Modal Logic for Network Topologies - van Eijk, de Boer, van der Hoek.. (2000) (Correct)
Similar documents based on text: More All
0.7: Local Names In SPKI/SDSI - Li (2000) (Correct)
0.7: Local Names In SPKI/SDSI 2.0 - Li (2000) (Correct)
0.6: On SDSI's Linked Local Name Spaces - Abadi (1998) (Correct)
Related documents from co-citation: More All
15: On SDSI's linked local name spaces - Abadi - 1997
12: A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
11: SDSI --- A Simple Distributed Security Infrastructure - Rivest, Lampson - 1996
BibTeX entry: (Update)
J. Y. Halpern and R. van der Meyden. A logic for sdsi's linked local name spaces. In 12th IEEE Computer Security Foundations Workshop, 1999. http://citeseer.ist.psu.edu/halpern00logic.html More
@misc{ halpern99logic,
author = "J. Halpern and R. van der Meyden",
title = "A logic for sdsi's linked local name spaces",
text = "J. Y. Halpern and R. van der Meyden. A logic for sdsi's linked local name
spaces. In 12th IEEE Computer Security Foundations Workshop, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/halpern00logic.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
981 Principles of Database and Knowledge Base Systems (context) - Ullman - 1989
981 Principles of Database and Knowledge Base Systems (context) - Ullman - 1988
604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
305 Decentralized trust management - Blaze, Feigenbaum et al. - 1996
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
125 American Mathematical Society (context) - Birkho, Theory - 1967
49 On SDSI's linked local name spaces - Abadi - 1998
39 Fixed point theorems and semantics: a folk tale (context) - Lassez, Nguyen et al. - 1982
15 a simple distributed security infrastructure (context) - Rivest, Lampson - 1996
3 Part I: the propositional case (context) - Grove, Halpern et al. - 1993
2 Simple public key infrastructure (context) - Group - 1998
2 Logical foundations for trust management (context) - Halpern, van der Meyden et al. - 1999
1 Adding revocation and timestamps to a logic for sdsi's linke.. (context) - Halpern, van der Meyden - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.unsw.edu.au/~meyden/research/publications.html): More
A Program Refinement Framework Supporting Reasoning.. - Engelhardt, van der.. (2000) (Correct)
Model Checking Knowledge and Time in Systems with Perfect.. - van der Meyden, al. (1999) (Correct)
Common Knowledge and Update in Finite Environments - van der Meyden (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