A logical reconstruction of SPKI

Journal of Computer Security

Volumn 11, Issue 4, 2003, Pages 581-613

  Halpern, Joseph Y ^a   Van der Meyden, Ron ^b  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LOGIC; PROBLEM SOLVING; PUBLIC KEY CRYPTOGRAPHY; SEMANTICS;

TUPLE REDUCTION;

SECURITY OF DATA;

EID: 0141528667     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-2003-11405     Document Type: Conference Paper

References (20)

1. M. Abadi, On SDSI's linked local name spaces, Journal of Computer Security 6(1-2) (1998), 3-21.
2. T. Aura, On the structure of delegation networks, in: Proc. 11th IEEE Computer Security Foundations Workshop, 1998, pp. 14-26.
3. M. Cadoli and M. Lenzerini, The complexity of closed world reasoning and circumscription. Journal of Computer and System Sciences 48 (1994). 255-301.
4. D. Clarke, J.-E. Ellien, C. Ellison, M. Fredette, A. Marcos and R.L. Rivest, Certificate chain discovery in SPKI/SDSI, Journal of Computer Security 9(4) (2001), 285-322.
5. C. Ellison, B. Frantz, B. Lampson, R. Rivest, B. Thomas and T. Ylonen, SPKI certificate theory, 1999, Internet RFC 2693, Available at http://www.ietf.org/html.charters/spki-charter.html.
6. C. Ellison, B. Frantz, B. Lampson, R. Rivest, B. Thomas and T. Ylonen, Simple public key certificate, 1999, Internet RFC 2693, Available at http://world.std.com/̃cme/spki.txt.
7. J.Y. Halpern and R. van der Meyden, A logic for SDSI's linked local name spaces, Journal of Computer Security 9(1, 2) (2001), 47-74.
8. J. Howell and D. Kotz, A formal semantics for SPKI, Technical Report TR 2000-363, Department of Computer Science, Dartmouth College, Hanover, NH, 2000 (an extended version of a paper in Proc. 6th European Symposium on Research in Computer Security)
9. S. Jajodia, P. Samarati and V. Subramanian, A logical language for expressing authorizations, in: Proceedings 1997 IEEE Symposium on Security and Privacy, 1997, pp. 31-42.
10. N. Li, Local names in SPKI/SDSI, in: Proc. 13th IEEE Computer Security Foundations Workshop, IEEE Press, 2000, pp. 2-15.
11. N. Li and J. Feigenbaum, Nonmonotonicity, user interfaces, and risk assessment in certificate revocation (Position paper), in: Proceedings of Financial Cryptography 2001, Grand Cayman, British West Indies, 2001.
12. N. Li, B.N. Grosof and J. Feigenbaum, A logic-based knowledge representation for authorization with delegation, in: Proc. 12th IEEE Computer Security Foundations Workshop, 1999, pp. 162-174.
13. N. Li, B.N. Grosof, and J. Feigenbaum, A nonmonotonic delegation logic with prioritized conflict handling. Unpublished manuscript (2000).
14. R. Rivest, Can we eliminate certificate revocation lists? in: Proceedings of Financial Cryptography 1998, 1998, Also available at http://theory.lcs.mit.edu/̃rivest/publications.html.
15. R. Rivest and B. Lampson, SDSI - a simple distributed security infrastructure. 1996, Available at http://theory.Ics.mit.edu/̃cis/sdsi.html.
16. SPKI Working Group, Simple public key infrastructure, internet draft, 1998. Available at http://www.ietf.org/html.charters/spki-charter.html.
17. S. Stubblebine, Recent-secure authentication: enforcing revocation in distributed systems, in: Proc. 19th IEEE Symposium on Security and Privacy. 1995. pp. 224-235.
18. S. Stubblebine and R. Wright, An authentication logic supporting synchronization, revocation, and recency, in: Proc. Third ACM Conference on Computer and Communications Security, 1996, pp. 95-105.
19. S. Weeks. Understanding trust management systems, in: IEEE Symposium on Security and Privacy, 2001, pp. 94-105.
20. Woo, T. and S. Lam, Authorization in distributed systems: a new approach, Journal of Computer Security 2 (1993), 107-136.