A formal semantics for SPKI

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1895, Issue , 2000, Pages 140-158

  Howell, Jon ^a   Kotz, David ^a  

^a DARTMOUTH COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; PUBLIC KEY CRYPTOGRAPHY;

FORMAL MODELING; FORMAL SEMANTICS; SIMPLE PUBLIC-KEY INFRASTRUCTURES; SIMPLE++;

SEMANTICS;

EID: 84902290299     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722599_9     Document Type: Conference Paper

References (10)

1. Carl M. Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian M. Thomas, and Tatu Ylonen. SPKI certificate theory, October 1999. Internet RFC 2693.
2. Martín Abadi, Michael Burrows, Butler Lampson, and Gordon Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems, 15(4):706-734, September 1993.
3. Butler Lampson, Martín Abadi, Michael Burrows, and Edward Wobber. Authentication in distributed systems: theory and practice. ACM Transactions on Computer Systems, 10(4):265-310, November 1992.
4. Martín Abadi. On SDSI’s linked local name spaces. Journal of Computer Security, 6(1-2):3-21, 1998.
5. Joseph Y. Halpern and Ronald van der Meyden. A logic for SDSI’s linked local name spaces. In Proceedings of the 12th IEEE Computer Security Foundations Workshop, pages 111-122, 1999.
6. Tuomas Aura. On the structure of delegation networks. In Proceedings of the Eleventh IEEE Computer Security Foundations Workshop, pages 14-26, 1998.
7. G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Routledge, 1996.
8. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.
9. Jon Howell and David Kotz. A Formal Semantics for SPKI. Technical Report TR2000-363, Dartmouth College, Computer Science, Hanover, NH, March 2000. Available at: http://www.cs.dartmouth.edu/reports/abstracts/TR2000-363/.
10. Jonathan R. Howell. Naming and sharing resources across administrative boundaries. PhD thesis, Department of Computer Science, Dartmouth College, 2000.