A Formal Semantics for SPKI

Authors

Jon Howell, Dartmouth College
David Kotz, Dartmouth College

Document Type

Technical Report

Publication Date

3-14-2000

Technical Report Number

TR2000-363

Abstract

We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety of constructs in the Simple Public Key Infrastructure (SPKI), and lends intuition about possible extensions. We discuss both extensions that our semantics supports and extensions that it cautions against.

Comments

This TR supercedes TR1999-361. This technical report is an extended version of a paper submitted to ESORICS 2000.

Dartmouth Digital Commons Citation

Howell, Jon and Kotz, David, "A Formal Semantics for SPKI" (2000). Computer Science Technical Report TR2000-363. https://digitalcommons.dartmouth.edu/cs_tr/173