Joseph Y. Halpern and Ron van der Meyden. A logical reconstruction of SPKI. In CSFW '01: Proceedings of the 14th IEEE Workshop on Computer Security Foundations, page 59, Washington, DC, USA, 2001. IEEE Computer Society. 21 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Certificate Chain Discovery in SPKI/SDSI - Clarke, Elien, Ellison.. (2001) (92 citations) (Correct)
....certi cate chain discovery problem in particular. The algorithm presented here is an extension of the one presented in his thesis. SDSI s naming scheme has generated some interest in its own right; for example, Abadi[1] has studied SDSI s naming scheme in some detail. Halpern and van der Meyden [17] have also studied SDSI s naming scheme. They critique Abadi s treatment, and have produced a Logic of Local Name Containment and an associated semantics that explicates the operation of SDSI s local names, based on treating (as we also do) the meaning of a name as a set of keys, and treating a ....
....says V(K A) V(S) and not V(K A) V(S) each additional name cert for K A may add new elements to V(K A) A local name in SPKI SDSI may thus, without any special fanfare, represent a group of public keys. We note that the semantics of SDSI local names provided by Halpern and van der Meyden [17] is very similar to our treatment here of the meaning of local names as sets of keys. Value of an extended name. Although a name certi cate C = K; A; S; V ) has the explicit function of providing a de nition for the local name K A, it also, as we now show, gives meaning to related extended ....
[Article contains additional citation context not shown here]
Joseph Y. Halpern and Ron van der Meyden. A logic for SDSI's linked local name spaces. In Proceedings 12th IEEE Computer Society Security Foundations Workshop (CSFW-12), pages 111-122, 1999. Available at: http://www.cs.cornell.edu/home/halpern/ abstract.html#conf110.
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
No context found.
Joseph Y. Halpern and Ron van der Meyden. A logical reconstruction of SPKI. In CSFW '01: Proceedings of the 14th IEEE Workshop on Computer Security Foundations, page 59, Washington, DC, USA, 2001. IEEE Computer Society. 21
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
No context found.
Joseph Y. Halpern and Ron van der Meyden. A logic for SDSI's linked local name spaces. In CSFW '99: Proceedings of the 1999 IEEE Computer Security Foundations Workshop, page 111, Washington, DC, USA, June 1999. IEEE Computer Society.
Deciding knowledge properties of security protocols - Ramanujam, Suresh (Correct)
No context found.
Joseph Y. Halpern and Ron van der Meyden. A logical reconstruction of SPKI. Journal of Computer Security, 11(4):581--613, 2003.
Logic in Access Control - Abadi (2003) (3 citations) (Correct)
No context found.
Joseph Y. Halpern and Ron van der Meyden. A logical reconstruction of SPKI. In Proceedings of the 14th IEEE Computer Security Foundations Workshop, pages 59--72, June 2001.
Logic in Access Control - Abadi (2003) (3 citations) (Correct)
No context found.
Joseph Y. Halpern and Ron van der Meyden. A logic for SDSI's linked local name spaces. Journal of Computer Security, 9(1-2):47--74, 2001.
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