jonh : research : delegation
  • My dissertation contains the most complete description of this work.
  • A paper to appear in ESORICS 2000 gives the short version of the formalism I developed.
  • This tech report is an extended version of the paper to appear at ESORICS 2000. It is somewhat stale; I recommend instead that you read my dissertation Part III and the appendices; they subsume the material in this tech report.
  • The poster I presented at SOSP 1999, with speaker notes..
  • An early tech report.