BibTeX for a paper by David Kotz at Dartmouth College.
For more information about this paper, visit this web page:
https://www.cs.dartmouth.edu/~kotz/research/howell-spki/index.html

@InProceedings{howell:spki,
  author =        {Jon Howell and David Kotz},
  title =         {{A Formal Semantics for SPKI}},
  booktitle =     {{Proceedings of the European Symposium on Research in Computer Security (ESORICS)}},
  series =        {Lecture Notes in Computer Science},
  year =          2000,
  month =         {October},
  volume =        1895,
  pages =         {140--158},
  publisher =     {Springer-Verlag},
  copyright =     {Springer-Verlag},
  DOI =           {10.1007/10722599_9},
  URL =           {https://www.cs.dartmouth.edu/~kotz/research/howell-spki/index.html},
  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.},
}