%T A Formal Semantics for SPKI
%A Jon Howell
%A David Kotz
%R Technical Report TR2000-363
%I Dartmouth College, Computer Science
%C Hanover, NH
%D March 2000
%U http://www.cs.dartmouth.edu/reports/TR2000-363.ps.Z
%X
 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.
%Z
 This TR supercedes TR1999-361.
 This technical report is an extended version of a paper submitted to
 ESORICS 2000.
 For more information, see the <A href="http://www.cs.dartmouth.edu/~jonh/research/delegation/">project web page</A>.