... Assurance and Security at Uni-versity of Texas at Austin.References[1] http://spinroot.com/spin/whatispin.html.[2] N. Belaramani, M. Dahlin, L. Gao, A. Nayate, A. Venkataramani,P. Yalagandula, ... Yalagandula, and J. Zheng. PRACTI replication. In Proc NSDI,May 2006.[3] N. Belaramani, J. Zheng, A. Nayate, R. Soule, M. Dahlin, andR. Grimm. PADS: A Policy Architecture for Distributed Storage Systems. ... comprises an invalidation and a body. An invalidation indicates that an update of a particular object occurred at a particular instant in log-ical time. Invalidations aid consistency enforcementby...