Butler W. Lampson Martín Abadi Michael Burrows Edward Wobber Authentication in Distributed Systems: Theory and Practice. 265-310 1992 10 ACM Trans. Comput. Syst. 4 db/journals/tocs/tocs10.html#LampsonABW92 http://doi.acm.org/10.1145/138873.138874