usenix.wofs92.ps