A secure distributed operating system. - Thomas A. Casey Jr.; Stephen T. Vinter; D. G. Weber; Rammohan Varadarajan; David Rosenthal (S&P, 1988)