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.