BIB-VERSION:: CS-TR-v2.0
ID:: ncstrl.dartmouthcs//TR2000-363
ENTRY:: March 14, 2000
ORGANIZATION:: Dartmouth College, Computer Science
TITLE:: A Formal Semantics for SPKI
TYPE:: Technical Report (paper)
REVISION:: 1
AUTHOR:: Howell, Jon
AUTHOR:: Kotz, David
DATE:: March 2000
RETRIEVAL:: For a paper copy, email <reports@cs.dartmouth.edu>
RETRIEVAL:: For a paper copy, write to
       Technical Report Librarian
       Department of Computer Science
       Dartmouth College
       6211 Sudikoff Laboratory
       Hanover, NH 03755-3510
       USA
RETRIEVAL:: Compressed Postscript at http://www.cs.dartmouth.edu/reports/TR2000-363.ps.Z
RETRIEVAL:: PDF at http://www.cs.dartmouth.edu/reports/TR2000-363.pdf
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.
NOTE:: 
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>.
END:: ncstrl.dartmouthcs//TR2000-363