Bibliography

HK98

Jon Howell and David Kotz.
Snowflake: Spanning administrative domains.
Technical Report PCS-TR98-343, Dept. of Computer Science, Dartmouth College, December 1998.

HK99

Jon Howell and David Kotz.
An access-control calculus for spanning administrative domains.
Technical Report PCS-TR99-361, Dept. of Computer Science, Dartmouth College, November 1999.

HK00a

Jon Howell and David Kotz.
End-to-end authorization.
In Proceedings of the 2000 Symposium on Operating Systems Design and Implementation, pages 151-164. USENIX Association, October 2000.

HK00b

Jon Howell and David Kotz.
A formal semantics for SPKI.
In Proceedings of the Sixth European Symposium on Research in Computer Security (ESORICS 2000), volume 1895 of Lecture Notes in Computer Science, pages 140-158. Springer-Verlag, October 2000.

HK00c

Jon Howell and David Kotz.
A formal semantics for SPKI.
Technical Report TR2000-363, Dept. of Computer Science, Dartmouth College, March 2000.

HK00d

Jon Howell and David Kotz.
Restricted delegation: seamlessly spanning administrative boundaries.
ACM Operating Systems Review, 34(2):38-39, April 2000.

HK01

Jon Howell and David Kotz.
A formal semantics for SPKI.
Unpublished., November 2001.

How98

Jon Howell.
Straightforward java persistence through checkpointing.
Technical Report PCS-TR98-330, Dept. of Computer Science, Dartmouth College, May 1998.

How00

Jonathan R. Howell.
Naming and sharing resources across administrative boundaries.
PhD thesis, Dept. of Computer Science, Dartmouth College, June 2000.
Available as Dartmouth Computer Science Technical Reports TR2000-378, 379, and 380.

Subsections

• Contributions
  • Human resources.