Reference from ESORICS proceedings

6th European Symposium on Research in Computer Security (ESORICS 2000)

A Formal Semantics for SPKI

Jon Howell, David Kotz

Keywords :

Abstract : We extend the logic and semantic 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.

(Pages 140-158)

Proceedings table of contents