Formal Model of a Trusted File Server.

J. C. Williams, George W. Dinolt

Browse the full SP paper archive.