Document Type
Conference Paper
Publication Date
10-2000
Publication Title
Proceedings of the Sixth European Symposium on Research in Computer Security (ESORICS 2000)
Department
Department of Computer Science
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.
DOI
10.1007/10722599_9
Original Citation
Jon Howell and David Kotz. A Formal Semantics for SPKI. In Proceedings of the Sixth European Symposium on Research in Computer Security (ESORICS 2000), October 2000. 10.1007/10722599_9
Dartmouth Digital Commons Citation
Howell, Jon and Kotz, David, "A Formal Semantics for Spki" (2000). Dartmouth Scholarship. 3309.
https://digitalcommons.dartmouth.edu/facoa/3309
