Document Type

Conference Paper

Publication Date

10-2000

Publication Title

Proceedings of the Sixth European Symposium on Research in Computer Security (ESORICS 2000)

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

Share

COinS