Computer Science – Cryptography and Security
Scientific paper
2000-01-28
Computer Science
Cryptography and Security
To appear, Journal of Computer Security
Scientific paper
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 suffer from these deficiencies. It has a clear semantics and provides a tight characterization of SDSI name resolution. The semantics is shown to be closely related to that of logic programs, leading to an approach to the efficient implementation of queries concerning local names. A complete axiomatization of the logic is also provided.
der Meyden Ron van
Halpern Joseph Y.
No associations
LandOfFree
A Logic for SDSI's Linked Local Name Spaces does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Logic for SDSI's Linked Local Name Spaces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Logic for SDSI's Linked Local Name Spaces will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-53701